legion.xml 3.07 KB
Newer Older
Gidon Ernst's avatar
Gidon Ernst committed
1
<?xml version="1.0"?>
2
<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
Gidon Ernst's avatar
Gidon Ernst committed
3
4
5
6
7
<benchmark tool="legion" displayName="Legion" timelimit="15 min" memlimit="15 GB" cpuCores="8">

  <require cpuModel="Intel Xeon E3-1230 v5 @ 3.40 GHz" cpuCores="8" />

  <option name="--save-tests"/>
Gidon Ernst's avatar
Gidon Ernst committed
8
  <option name="--persistent"/>
Gidon Ernst's avatar
Gidon Ernst committed
9
  <option name="--time-penalty">0</option>
Gidon Ernst's avatar
Gidon Ernst committed
10
11
12
13
  <option name="--random-seed">0</option>
  <option name="--symex-timeout">10</option>
  <option name="--conex-timeout">10</option>
  <option name="-o">./binary.instr</option>
Gidon Ernst's avatar
Gidon Ernst committed
14
15
  <option name="--compile">svcomp</option>

Gidon Ernst's avatar
Gidon Ernst committed
16

Gidon Ernst's avatar
Gidon Ernst committed
17
18
  <resultfiles>**.xml</resultfiles>

Dirk Beyer's avatar
Dirk Beyer committed
19
  <rundefinition name="test-comp20_prop-coverage-error-call">
Gidon Ernst's avatar
Gidon Ernst committed
20
21
22
    <propertyfile>../sv-benchmarks/c/properties/coverage-error-call.prp</propertyfile>
  </rundefinition>

Dirk Beyer's avatar
Dirk Beyer committed
23
  <rundefinition name="test-comp20_prop-coverage-branches">
Gidon Ernst's avatar
Gidon Ernst committed
24
25
26
27
28
29
    <propertyfile>../sv-benchmarks/c/properties/coverage-branches.prp</propertyfile>
    <option name="--coverage-only" />
  </rundefinition>

  <tasks name="ReachSafety-Arrays">
    <includesfile>../sv-benchmarks/c/ReachSafety-Arrays.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
30
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
31
32
33
  </tasks>
  <tasks name="ReachSafety-BitVectors">
    <includesfile>../sv-benchmarks/c/ReachSafety-BitVectors.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
34
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
35
36
37
  </tasks>
  <tasks name="ReachSafety-ControlFlow">
    <includesfile>../sv-benchmarks/c/ReachSafety-ControlFlow.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
38
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
39
40
41
  </tasks>
  <tasks name="ReachSafety-ECA">
    <includesfile>../sv-benchmarks/c/ReachSafety-ECA.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
42
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
43
44
45
  </tasks>
  <tasks name="ReachSafety-Floats">
    <includesfile>../sv-benchmarks/c/ReachSafety-Floats.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
46
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
47
48
49
  </tasks>
  <tasks name="ReachSafety-Heap">
    <includesfile>../sv-benchmarks/c/ReachSafety-Heap.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
50
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
51
52
53
  </tasks>
  <tasks name="ReachSafety-Loops">
    <includesfile>../sv-benchmarks/c/ReachSafety-Loops.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
54
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
55
56
57
  </tasks>
  <tasks name="ReachSafety-Recursive">
    <includesfile>../sv-benchmarks/c/ReachSafety-Recursive.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
58
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
59
60
61
  </tasks>
  <tasks name="ReachSafety-Sequentialized">
    <includesfile>../sv-benchmarks/c/ReachSafety-Sequentialized.set</includesfile>
Gidon Ernst's avatar
Gidon Ernst committed
62
    <option name="-32"/>
Gidon Ernst's avatar
Gidon Ernst committed
63
64
  </tasks>

65
66
  <tasks name="SoftwareSystems-BusyBox-MemSafety">
    <includesfile>../sv-benchmarks/c/SoftwareSystems-BusyBox-MemSafety.set</includesfile>
67
68
69
    <option name="-64"/>
  </tasks>

70
71
  <tasks name="SoftwareSystems-DeviceDriversLinux64-ReachSafety">
    <includesfile>../sv-benchmarks/c/SoftwareSystems-DeviceDriversLinux64-ReachSafety.set</includesfile>
72
73
74
    <option name="-64"/>
  </tasks>

75
76
  <tasks name="SoftwareSystems-SQLite-MemSafety">
    <includesfile>../sv-benchmarks/c/SoftwareSystems-SQLite-MemSafety.set</includesfile>
77
78
79
80
81
82
83
84
    <option name="-64"/>
  </tasks>

  <tasks name="Termination-MainHeap">
    <includesfile>../sv-benchmarks/c/Termination-MainHeap.set</includesfile>
    <option name="-64"/>
  </tasks>

Gidon Ernst's avatar
Gidon Ernst committed
85
86
</benchmark>