General

Profile

S A

  • Login: asadis@usi.ch
  • Email: sepideh.asadi@usi.ch
  • Registered on: 29/12/2017
  • Last connection: 23/03/2021

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 1 0 1

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_... S A
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... S A
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... S A

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... S A
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... S A

Also available in: Atom