-
Notifications
You must be signed in to change notification settings - Fork 2
/
test_CVC4
39 lines (38 loc) · 2.19 KB
/
test_CVC4
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
cd src/main/java
echo "building"
find -name "*.java" > sources.txt
javac -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" @sources.txt
echo "start to test"
echo "--------------------------------------------------"
echo "Test : max_ite(2,3) "
echo "Benchmark path benchmarks/sygus/max_2_3.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/sygus/max_2_3.sl
echo "--------------------------------------------------"
echo "Test : max_ite(2,15) "
echo "Benchmark path benchmarks/sygus/max_2_15.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/sygus/max_2_15.sl
echo "--------------------------------------------------"
echo "Test : max_ite(3,15) "
echo "Benchmark path benchmarks/sygus/max_3_15.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/sygus/max_3_15.sl
echo "--------------------------------------------------"
echo "Test : hackers_5 "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_7 "
echo "Benchmark path benchmarks/hackers/hd-07-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-07-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_17 "
echo "Benchmark path benchmarks/hackers/hd-17-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-17-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_2_prob "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog-prob.sl
echo "--------------------------------------------------"
echo "Test : hackers_5_prob "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog-prob.sl
cd ../../..