Bug #5549
Bug #5548: in Lattice: supposed to be SAT, but the lattice gives
.
Status:
Closed
Priority:
Low
Assignee:
-
Start date:
29/09/2017
Due date:
% Done:
0%
Estimated time:
Description
/hifrog --load-sum-model modlattice_model_lra --logic qflra --load-summaries __summaries_simple_mod_lra --no-itp --unwind 2 --claim 1 ../benchmarks/sanfoundry_24_false-valid-deref.c
History
#1 Updated by Sepideh Asadi over 6 years ago
- % Done changed from 0 to 100
#2 Updated by Sepideh Asadi over 6 years ago
- Subject changed from in Lattice: supposed to be SAT, but the lattice gives UNSAT to .
- Status changed from New to Closed
- Priority changed from Normal to Low
- % Done changed from 100 to 0