User Tools

Site Tools


sv-comp_2015_loops

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sv-comp_2015_loops [2015/01/14 17:22]
schram
sv-comp_2015_loops [2015/01/15 15:23] (current)
schram
Line 9: Line 9:
   * loop-acceleration/​array_false-unreach-call3.i:​ requires 1027 unwindings (<20 seconds)   * loop-acceleration/​array_false-unreach-call3.i:​ requires 1027 unwindings (<20 seconds)
   * loop-acceleration/​array_false-unreach-call2.i:​ requires 2049 unwindings (<2.5 minutes of which 99% are spent in generating the error trace)   * loop-acceleration/​array_false-unreach-call2.i:​ requires 2049 unwindings (<2.5 minutes of which 99% are spent in generating the error trace)
-  * loop-acceleration/​const_false-unreach-call1.i:​  +  * loop-acceleration/​const_false-unreach-call1.i: ​similar 
-  * loop-acceleration/​functions_false-unreach-call1.i +  * loop-acceleration/​functions_false-unreach-call1.i: similar 
-  * loop-acceleration/​nested_false-unreach-call1.i +  * loop-acceleration/​nested_false-unreach-call1.i: similar 
-  * loop-acceleration/​overflow_false-unreach-call1.i +  * loop-acceleration/​overflow_false-unreach-call1.i: similar 
-  * loop-acceleration/​phases_false-unreach-call1.i+  * loop-acceleration/​phases_false-unreach-call1.i: similar
   * loop-acceleration/​multivar_false-unreach-call1.i:​ requires 1024 unwindings (can do in 5 seconds); UNKNOWN after having found a (wrong) counterexample,​ glibc warning when running with wrapper script [Michael says this one is fixed in the trunk]   * loop-acceleration/​multivar_false-unreach-call1.i:​ requires 1024 unwindings (can do in 5 seconds); UNKNOWN after having found a (wrong) counterexample,​ glibc warning when running with wrapper script [Michael says this one is fixed in the trunk]
   * loop-acceleration/​simple_false-unreach-call2.i:​ requires 2^28 unwindings; UNKNOWN on .i and .c file after having found a counterexample,​ glibc warning when running with wrapper script [Michael says this one is fixed in the trunk]   * loop-acceleration/​simple_false-unreach-call2.i:​ requires 2^28 unwindings; UNKNOWN on .i and .c file after having found a counterexample,​ glibc warning when running with wrapper script [Michael says this one is fixed in the trunk]
sv-comp_2015_loops.txt · Last modified: 2015/01/15 15:23 by schram