-
Notifications
You must be signed in to change notification settings - Fork 4
/
table
executable file
·21 lines (20 loc) · 1.82 KB
/
table
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/sh
~/tools/benchexec/bin/table-generator \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Arrays.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-BitVectors.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-ECA.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Floats.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Heap.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Loops.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Recursive.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Arrays.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-BitVectors.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-ECA.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Floats.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Heap.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Loops.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Recursive.xml.bz2" \
"test/results/tbf.$1.results.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized.xml.bz2"