Actions
Bug #5548
openin Lattice: supposed to be SAT, but the lattice gives
Status:
New
Priority:
Low
Assignee:
-
Start date:
29/09/2017
Due date:
% Done:
100%
Estimated time:
(Total: 0.00 h)
Description
/hifrog --load-sum-model modlattice_model_lra --logic qflra --load-summaries __summaries_simple_mod_lra --no-itp --unwind 10 --claim 1 ../benchmarks/modulus_false-no-overflow.c
it includes bit-vector operators like a shift register. We should think of in the future to solve such issues with theoref
Actions