-
Notifications
You must be signed in to change notification settings - Fork 2
/
count-all.sh
executable file
·21 lines (17 loc) · 1.39 KB
/
count-all.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/sh
export SVCOMP20=svcomp20/results-verified
echo CPA-seq
./count.sh svcomp20/results-verified/cpa-seq.*.results.sv-comp20_prop-reachsafety.ReachSafety-Arrays.xml.bz2
./count.sh svcomp20/results-verified/cpa-seq.*.results.sv-comp20_prop-reachsafety.ReachSafety-ControlFlow.xml.bz2
./count.sh svcomp20/results-verified/cpa-seq.*.results.sv-comp20_prop-reachsafety.ReachSafety-Loops.xml.bz2
./count.sh svcomp20/results-verified/cpa-seq.*.results.sv-comp20_prop-reachsafety.ReachSafety-Recursive.xml.bz2
echo UA
./count.sh svcomp20/results-verified/uautomizer.*.results.sv-comp20_prop-reachsafety.ReachSafety-Arrays.xml.bz2
./count.sh svcomp20/results-verified/uautomizer.*.results.sv-comp20_prop-reachsafety.ReachSafety-ControlFlow.xml.bz2
./count.sh svcomp20/results-verified/uautomizer.*.results.sv-comp20_prop-reachsafety.ReachSafety-Loops.xml.bz2
./count.sh svcomp20/results-verified/uautomizer.*.results.sv-comp20_prop-reachsafety.ReachSafety-Recursive.xml.bz2
echo VA
./count.sh svcomp20/results-verified/veriabs.*.results.sv-comp20_prop-reachsafety.ReachSafety-Arrays.xml.bz2
./count.sh svcomp20/results-verified/veriabs.*.results.sv-comp20_prop-reachsafety.ReachSafety-ControlFlow.xml.bz2
./count.sh svcomp20/results-verified/veriabs.*.results.sv-comp20_prop-reachsafety.ReachSafety-Loops.xml.bz2
./count.sh svcomp20/results-verified/veriabs.*.results.sv-comp20_prop-reachsafety.ReachSafety-Recursive.xml.bz2