From 1d2eac366a0e4dfdf31f0679949045a949d676b6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 20:15:16 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

---
 azure-pipelines.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 8987d8693..50e7ec648 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -11,11 +11,11 @@ jobs:
         cd build
         make
     - script: git clone https://github.com/z3prover/z3test z3test
-    - script: python z3test/scripts/test_benchmarks.py build/z3.exe z3test/regressions/smt2
+    - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2
     - script: |
         cd build
         make cpp_example
-        cpp_example.exe
+        ./cpp_example
         make java_example
         make dotnet_example
         make test-z3