From dc01266354c38470cce566ba0e962ceda01a89ef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 19 Mar 2018 20:50:24 -0700
Subject: [PATCH] fixing after clone

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/vsts.cmd | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd
index f597e45ea..3b3a60231 100644
--- a/scripts/vsts.cmd
+++ b/scripts/vsts.cmd
@@ -34,6 +34,7 @@ rem test-z3.exe -a
 cd ..
 echo "Run regression tests"
 git clone https://github.com/z3prover/z3test z3test
-z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
-
+echo "test-benchmarks"
+python z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
+echo "benchmarks tested"