From a873cc41bfa56109a8280fcbcec30342f57a4567 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Mar 2018 10:43:59 -0700 Subject: [PATCH] update vsts script Signed-off-by: Nikolaj Bjorner --- scripts/vsts.cmd | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd index 6f15e1bc3..09480038a 100644 --- a/scripts/vsts.cmd +++ b/scripts/vsts.cmd @@ -1,9 +1,15 @@ +rem Build md build cd build -set call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" cmake -G "NMake Makefiles" ../ nmake + +rem Run unit tests nmake test-z3 +test-z3.exe -a + +cd .. +rem Run regression tests git pull https://github.com/z3prover/z3test z3test cd z3test