Skip to content

Commit

Permalink
Use just concurrency
Browse files Browse the repository at this point in the history
  • Loading branch information
@hernanponcedeleon
hernanponcedeleon authored Dec 3, 2021
1 parent 2a7b95a commit 83ced42
Showing 1 changed file with 0 additions and 16 deletions.
16 changes: 0 additions & 16 deletions dartagnan.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,22 +7,6 @@
<resultfiles>**.graphml</resultfiles>

<rundefinition name="SV-COMP21_unreach-call">
<tasks name="ReachSafety-Loops">
<includesfile>../sv-benchmarks/c/ReachSafety-Loops.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/unreach-call.prp</propertyfile>
</tasks>
<tasks name="ReachSafety-ControlFlow">
<includesfile>../sv-benchmarks/c/ReachSafety-ControlFlow.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/unreach-call.prp</propertyfile>
</tasks>
<tasks name="ReachSafety-Arrays">
<includesfile>../sv-benchmarks/c/ReachSafety-Arrays.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/unreach-call.prp</propertyfile>
</tasks>
<tasks name="ReachSafety-BitVectors">
<includesfile>../sv-benchmarks/c/ReachSafety-BitVectors.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/unreach-call.prp</propertyfile>
</tasks>
<tasks name="ConcurrencySafety-Main">
<includesfile>../sv-benchmarks/c/ConcurrencySafety-Main.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/unreach-call.prp</propertyfile>
Expand Down

0 comments on commit 83ced42

Please sign in to comment.