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
Last revision Both sides next revision
sv-comp_2015_control-flow-integer [2015/01/14 12:05]
ruben
sv-comp_2015_control-flow-integer [2015/01/14 14:18]
ruben
Line 33: Line 33:
  
 <​code>​ <​code>​
-1. Download CPAchecker at: http://​cpachecker.sosy-lab.org/​CPAchecker-1.4-unix.tar.bz2+1. Download CPAchecker at: [[http://​cpachecker.sosy-lab.org/​CPAchecker-1.4-unix.tar.bz2|CPAchecker]]
 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> ​
  
 3. Alternatively,​ you can use the following '​witness.sh'​ bash script: 3. Alternatively,​ you can use the following '​witness.sh'​ bash script:
sv-comp_2015_control-flow-integer.txt ยท Last modified: 2015/01/14 14:21 by ruben