From d5811a13ebbeec6c9842950fa15a970b3b9e6a26 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Mar 2018 19:18:05 -0700 Subject: [PATCH] add test-benchmarks Signed-off-by: Nikolaj Bjorner --- scripts/vsts.cmd | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd index e628e00ba..7f457392e 100644 --- a/scripts/vsts.cmd +++ b/scripts/vsts.cmd @@ -34,6 +34,7 @@ rem test-z3.exe -a cd .. echo "Run regression tests" -git pull https://github.com/z3prover/z3test z3test -cd z3test +git clone https://github.com/z3prover/z3test z3test +z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2 +