Update test for java

Z3Prover · Aug 18, 2021 · 2492278 · 2492278
1 parent 1db9f9a
commit 2492278
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -224,8 +224,7 @@ jobs:
         make -j3 test-z3
         ./cpp_example
         ./c_example
-        ./java_example
-        ./dotnet_example
+        java -cp api/java/classes; JavaExample
         cd ..
 # Skip as dead-slow in debug mode:
 #  - template: scripts/test-z3.yml