blob: 79f93974a5f97a40ce4b4bbdcb2fb0e5180d5be2 (
plain)
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
|
#!/bin/bash
CVC4_REGRESSION_DIR=/space/ajreynol/cvc4/test/regress/
# HACK: update the regression script
cp $CVC4_REGRESSION_DIR/run_regression.py $CVC4_REGRESSION_DIR/temp.py
cp $CVC4_REGRESSION_DIR/extract_regression_calls.py $CVC4_REGRESSION_DIR/run_regression.py
echo "Make the LFSC regression script"
make regress | grep CALL: >& temp.txt
# HACK: revert changes to regression script
cp $CVC4_REGRESSION_DIR/temp.py $CVC4_REGRESSION_DIR/run_regression.py
sed -i 's/\CALL:/run_regression_lfsc/g' temp.txt
echo "#!/bin/bash" > run_regressions_lfsc
cat temp.txt >> run_regressions_lfsc
chmod 755 run_regressions_lfsc
rm temp.txt
echo "Run the LFSC regression script"
./run_regressions_lfsc >& lfsc-regression-results.txt
echo "================ CVC4+LFSC results"
echo -n "SUCCESS: "
cat lfsc-regression-results.txt | grep "SUCCESS" | wc -l
echo -n "WARNING: "
cat lfsc-regression-results.txt | grep "WARNING" | wc -l
echo -n "ERROR-LFSC: "
cat lfsc-regression-results.txt | grep "ERROR-LFSC" | wc -l
echo -n "ERROR-CVC4: "
cat lfsc-regression-results.txt | grep "ERROR-CVC4" | wc -l
echo "================"
|
