From b727a3463d78c8beeded87158e33e32d50220953 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 19 Mar 2018 18:21:34 -0700
Subject: [PATCH] update vsts

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

diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd
index 6e8eba43f..e628e00ba 100644
--- a/scripts/vsts.cmd
+++ b/scripts/vsts.cmd
@@ -13,7 +13,17 @@ python z3test.py z3num
 popd
 
 echo "Build and run examples"
+nmake cpp_example
+cpp_example.exe
 
+nmake c_example
+c_example.exe
+
+nmake java_example
+java_example.exe
+
+nmake dotnet_example
+dotnet_example.exe
 
 
 echo "Build and run unit tests"
@@ -24,5 +34,6 @@ rem test-z3.exe -a
 
 cd ..
 echo "Run regression tests"
-rem git pull https://github.com/z3prover/z3test z3test
-rem cd z3test
+git pull https://github.com/z3prover/z3test z3test
+cd z3test
+