diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd
index 0257fd929..639e2f82d 100644
--- a/scripts/vsts.cmd
+++ b/scripts/vsts.cmd
@@ -17,7 +17,7 @@ rem Build and run examples
 
 rem Build and run unit tests
 nmake test-z3
-test-z3.exe -a
+rem test-z3.exe -a
 
 
 cd ..