General

Profile

S A

Issues

Activity

02/01/2018

17:32 hifrog Bug #6037: Error in generating interpolant in svcomp 17

/hifrog --logic qfuf --unwind 10 --claim 1 ~/hi-bench/challenge-bench/sv-comp17/c/eca-rers2012/Problem02_label08_...
17:24 hifrog Bug #6058 (New): MemoryException
/hifrog --logic qfcuf --unwind 10 --claim 1 hi-bench/challenge-bench/svcomp17/c/eca-rers2012/Problem05_label00_fals...
05:10 hifrog Bug #6037: Error in generating interpolant in svcomp 17
Sepideh Asadi wrote:
> The same problem for:
>
> --claim 5 ~/sv-comp17/c/product-lines/email_spec4_product29_tru...

01/01/2018

21:45 hifrog Bug #6037: Error in generating interpolant in svcomp 17
Sepideh Asadi wrote:
> The same problem for:
>
> --claim 5 ~/sv-comp17/c/product-lines/email_spec4_product29_tru...
21:44 hifrog Bug #6037: Error in generating interpolant in svcomp 17

The same problem for:
--claim 5 ~/sv-comp17/c/product-lines/email_spec4_product29_true-unreach-call_true-termin...

Also available in: Atom