diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-09 08:31:03 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-09 08:31:03 -0500 |
| commit | 27a02f20fe0acfa6588e0cdcc9cf80689e774b03 (patch) | |
| tree | a21d844658fcf25313df6973ae10abde323febc6 /contrib | |
| parent | c16db57ae084ed076f433e4f3ec77f25065890a2 (diff) | |
Fix
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/test_proof_lfsc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/test_proof_lfsc b/contrib/test_proof_lfsc index 3453acf8e..79f93974a 100755 --- a/contrib/test_proof_lfsc +++ b/contrib/test_proof_lfsc @@ -3,14 +3,14 @@ CVC4_REGRESSION_DIR=/space/ajreynol/cvc4/test/regress/ # HACK: update the regression script -cp $CVC4_REGRESSION_DIR/run_regressions.py $CVC4_REGRESSION_DIR/temp.py -cp $CVC4_REGRESSION_DIR/extract_regression_calls.py $CVC4_REGRESSION_DIR/run_regressions.py +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_regressions.py +cp $CVC4_REGRESSION_DIR/temp.py $CVC4_REGRESSION_DIR/run_regression.py sed -i 's/\CALL:/run_regression_lfsc/g' temp.txt |