deallocate mux, fix script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

azure-pipelines.yml

@@ -72,7 +72,7 @@ jobs:
         export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
         java -cp .:examples/java:com.microsoft.z3.jar JavaExample
         cd ..
-    - script |
+    - script: |
          cd build
          ./test-z3 -a
          cd ..

src/util/prime_generator.cpp

@@ -129,4 +129,5 @@ uint64_t prime_iterator::next() {
 
 void prime_iterator::finalize() {
     g_prime_generator.finalize();
+    dealloc(g_prime_generator.m_mux);
 }