Project

General

Profile

Actions

Bug #5225

open

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

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

Status:
New
Priority:
Normal
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

Also available in: Atom PDF