Project

General

Profile

Bug #5225

SAT examples are terminate with "killed" when using the right/correct parameters

Added by Karine Even Mendoza almost 7 years ago. Updated almost 7 years ago.

Status:
New
Priority:
Normal
Assignee:
Antti Hyvärinen
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!

History

#1 Updated by Karine Even Mendoza almost 7 years ago

More examples:

./hifrog --no-itp ../../../../../../hi-bench/challenge-bench/sv-comp16/c/bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c --logic qfcuf --unwind 11 --no-partitions --theoref --no-itp --force --bitwidth 32

Also available in: Atom PDF