From 211a6c87520aad8ea9a9b6423ec00969b45f73cc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 29 Jul 2021 11:32:20 -0700 Subject: [PATCH] rename Signed-off-by: Nikolaj Bjorner --- scripts/test-regressions-coverage.yaml | 4 ---- scripts/test-regressions-coverage.yml | 5 ++++- 2 files changed, 4 insertions(+), 5 deletions(-) delete mode 100644 scripts/test-regressions-coverage.yaml diff --git a/scripts/test-regressions-coverage.yaml b/scripts/test-regressions-coverage.yaml deleted file mode 100644 index 363ea2c19..000000000 --- a/scripts/test-regressions-coverage.yaml +++ /dev/null @@ -1,4 +0,0 @@ -steps: -- script: git clone https://github.com/z3prover/z3test z3test -- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 -- script: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp diff --git a/scripts/test-regressions-coverage.yml b/scripts/test-regressions-coverage.yml index 8b1378917..363ea2c19 100644 --- a/scripts/test-regressions-coverage.yml +++ b/scripts/test-regressions-coverage.yml @@ -1 +1,4 @@ - +steps: +- script: git clone https://github.com/z3prover/z3test z3test +- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 +- script: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp