forked from sosy-lab/sv-comp
-
Notifications
You must be signed in to change notification settings - Fork 0
/
aprove.xml
32 lines (28 loc) · 1.47 KB
/
aprove.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
<?xml version="1.0"?>
<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.9//EN" "https://www.sosy-lab.org/benchexec/benchmark-2.3.dtd">
<benchmark tool="aprove" timelimit="15 min" memlimit="15 GB" cpuCores="4">
<require cpuModel="Intel Xeon E3-1230 v5 @ 3.40 GHz"/>
<resultfiles>**/witness.*</resultfiles>
<rundefinition name="SV-COMP24_termination">
<tasks name="Termination-BitVectors">
<includesfile>../sv-benchmarks/c/Termination-BitVectors.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/termination.prp</propertyfile>
</tasks>
<tasks name="Termination-MainControlFlow">
<includesfile>../sv-benchmarks/c/Termination-MainControlFlow.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/termination.prp</propertyfile>
</tasks>
<tasks name="Termination-MainHeap">
<includesfile>../sv-benchmarks/c/Termination-MainHeap.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/termination.prp</propertyfile>
</tasks>
<tasks name="Termination-Other">
<includesfile>../sv-benchmarks/c/Termination-Other.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/termination.prp</propertyfile>
</tasks>
<tasks name="SoftwareSystems-DeviceDriversLinux64-Termination">
<includesfile>../sv-benchmarks/c/SoftwareSystems-DeviceDriversLinux64-Termination.set</includesfile>
<propertyfile>../sv-benchmarks/c/properties/termination.prp</propertyfile>
</tasks>
</rundefinition>
</benchmark>