User Tools

Site Tools


sv-comp_2015_simple

Differences

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

Link to this comparison view

sv-comp_2015_simple [2015/01/14 09:28]
ahorn created
sv-comp_2015_simple [2015/01/14 10:33] (current)
mictau
Line 1: Line 1:
-Hello+<​code>​ 
 +# Too few unwindings (only 40) before time out 
 +Simple/​ntdrivers/​cdaudio_false-unreach-call.i.cil.c 
 +# fixed in 5.0 
 +# # Exception (patch available): wrong value length in constant: ("​constant"​ "​type"​ ("​signedbv"​ "​width"​ ("​32"​)) "​value"​ ("​NULL"​)) 
 +# Simple/​ntdrivers/​floppy_true-unreach-call.i.cil.c 
 +# Simple/​ntdrivers/​floppy_false-unreach-call.i.cil.c 
 +# Post-processing takes forever (Even --unwind 2; probably __CPROVER_memory) 
 +Simple/​ntdrivers/​kbfiltr_false-unreach-call.i.cil.c 
 +</​code>​
sv-comp_2015_simple.txt · Last modified: 2015/01/14 10:33 by mictau