User Tools

Site Tools


sv-comp_2015_control-flow-integer

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_control-flow-integer [2015/01/14 14:18]
ruben
sv-comp_2015_control-flow-integer [2015/01/14 14:21]
ruben
Line 33: Line 33:
  
 <​code>​ <​code>​
-1. Download CPAchecker at: [[http://​cpachecker.sosy-lab.org/​CPAchecker-1.4-unix.tar.bz2|CPAchecker]]+1. Download CPAchecker at: http://​cpachecker.sosy-lab.org/​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/​cpa.sh -witness-check -spec <​witness>​ -spec <​propertyfile>​ <​program> ​    ​scripts/​cpa.sh -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