From f9677fdfd29bdc3b4a7410e09181ac31df328354 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Jun 2019 01:25:43 -0700
Subject: [PATCH] update pipelines

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 15 ++++++---------
 scripts/test-z3.yml |  5 +++++
 2 files changed, 11 insertions(+), 9 deletions(-)
 create mode 100644 scripts/test-z3.yml

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 6a9c8f524..3b1dd0c0a 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -16,12 +16,11 @@ jobs:
         cd build
         make
         make examples
-        ls
+        make test-z3
         ./cpp_example
         ./c_example
-        make test-z3
-        ./test-z3 -a      
         cd ..     
+    - template: scripts/test-z3.yml
     - template: scripts/regression-test.yml
 
 
@@ -72,9 +71,8 @@ jobs:
         javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar
         export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
         java -cp .:examples/java:com.microsoft.z3.jar JavaExample
-        ./test-z3 -a
         cd ..
-    - script: |
+    - script |
          cd build
          ./test-z3 -a
          cd ..
@@ -100,12 +98,11 @@ jobs:
         cd build
         make
         make examples
-        ls
+        make test-z3
         ./cpp_example
         ./c_example
-        make test-z3
-        ./test-z3 -a      
         cd ..     
+    - template: scripts/test-z3.yml
     - template: scripts/regression-test.yml
 
 
@@ -135,8 +132,8 @@ jobs:
         javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar
         export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
         java -cp .:examples/java:com.microsoft.z3.jar JavaExample
-        ./test-z3 -a
         cd ..
+    - template: scripts/test-z3.yml
     - template: scripts/regression-test.yml
 
 
diff --git a/scripts/test-z3.yml b/scripts/test-z3.yml
new file mode 100644
index 000000000..f419c07ab
--- /dev/null
+++ b/scripts/test-z3.yml
@@ -0,0 +1,5 @@
+steps:
+- script: |
+    cd build
+    ./test-z3 -a
+    cd ..