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