-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.toml
56 lines (42 loc) · 1.21 KB
/
test.toml
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
provers = [ "nunchaku", "nunchaku-cvc4", "nunchaku-paradox", "nunchaku-kodkod", "nunchaku-smbc" ]
[nunchaku]
cmd = "nunchaku --checks -nc --timeout $timeout $file 2>&1"
binary_deps = [ "cvc4", "paradox", "smbc", "kodkod" ]
unsat = "UNSAT"
sat = "SAT:"
unknown = "TIMEOUT|UNKNOWN"
timeout = "TIMEOUT"
[nunchaku-cvc4]
cmd = "nunchaku --checks -s cvc4 -nc --timeout $timeout $file 2>&1"
binary_deps = [ "cvc4" ]
unsat = "UNSAT"
sat = "SAT:"
unknown = "TIMEOUT|UNKNOWN"
timeout = "TIMEOUT"
[nunchaku-smbc]
cmd = "nunchaku --checks -s smbc -nc --timeout $timeout $file 2>&1"
binary_deps = [ "smbc" ]
unsat = "UNSAT"
sat = "SAT:"
unknown = "TIMEOUT|UNKNOWN"
timeout = "TIMEOUT"
[nunchaku-kodkod]
cmd = "nunchaku --checks -s kodkod -nc --timeout $timeout $file 2>&1"
binary_deps = [ "kodkodi" ]
unsat = "UNSAT"
sat = "SAT:"
unknown = "TIMEOUT|UNKNOWN"
timeout = "TIMEOUT"
[nunchaku-paradox]
cmd = "nunchaku --checks -s paradox -nc --timeout $timeout $file 2>&1"
binary_deps = [ "paradox" ]
unsat = "UNSAT"
sat = "SAT:"
unknown = "TIMEOUT|UNKNOWN"
timeout = "TIMEOUT"
[test]
memory = 6000
timeout=10
problems = ".*.nun"
provers = [ "nunchaku-cvc4", "nunchaku-paradox", "nunchaku-kodkod", "nunchaku-smbc" ]
dir = [ "fixed_bugs", "tests" ]