User Tools

Site Tools



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_control-flow-integer [2015/01/14 14:18]
sv-comp_2015_control-flow-integer [2015/01/14 14:21]
Line 33: Line 33:
 <​code>​ <​code>​
-1. Download CPAchecker at: [[http://​​CPAchecker-1.4-unix.tar.bz2|CPAchecker]]+1. Download CPAchecker at: http://​​CPAchecker-1.4-unix.tar.bz2
 2. In the CPAchecker directory do the following command: ​ 2. In the CPAchecker directory do the following command: ​
    ​scripts/​ -witness-check -spec <​witness>​ -spec <​propertyfile>​ <​program> ​    ​scripts/​ -witness-check -spec <​witness>​ -spec <​propertyfile>​ <​program> ​
Line 45: Line 45:
   exit 1   exit 1
 fi fi
 +Note: CPAchecker Requires Java 1.7 to work.
 </​code>​ </​code>​
sv-comp_2015_control-flow-integer.txt ยท Last modified: 2015/01/14 14:21 by ruben