From 0ac462108f3507ad1e297a2744fc2228b9f8541e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Jun 2019 11:56:05 -0700 Subject: [PATCH] templatize regression test Signed-off-by: Nikolaj Bjorner --- scripts/regression-test.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/regression-test.yml b/scripts/regression-test.yml index 24fe6b74d..b431f1548 100644 --- a/scripts/regression-test.yml +++ b/scripts/regression-test.yml @@ -1,3 +1,3 @@ -- steps - - script: git clone https://github.com/z3prover/z3test z3test - - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 +steps: +- script: git clone https://github.com/z3prover/z3test z3test +- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2