Actions
Bug #5225
openSAT examples are terminate with "killed" when using the right/correct parameters
Start date:
31/05/2017
Due date:
% Done:
0%
Estimated time:
Description
For example:
hi-bench/challenge-bench/sv-comp16/c/bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c --logic qfcuf --unwind 6 --no-partitions --theoref --no-itp --force --bitwidth 64
hi-bench/challenge-bench/sv-comp16/c/bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c --logic qfcuf --unwind 8 --no-partitions --theoref --no-itp --force --bitwidth 16
Two of the SAT examples I looked at. I'll try to add more if I'll find later on today.
Thanks!
Actions