Correctly shutdown solver factories used in tests

src/regression/scala/leon/test/synthesis/StablePrintingSuite.scala

@@ -79,8 +79,8 @@ class StablePrintingSuite extends LeonTestSuite {
         if (j.rules.size < depth) {
           for ((ci, i) <- chooses.zipWithIndex if j.choosesToProcess(i) || j.choosesToProcess.isEmpty) {
             val synthesizer = new Synthesizer(ctx, pgm, ci, opts)
-            val sctx = SynthesisContext.fromSynthesizer(synthesizer)
-            try { 
+            val sctx = synthesizer.sctx
+            try {
               val search = synthesizer.getSearch
               val hctx = SearchContext(sctx, ci, search.g.root, search)
               val problem = ci.problem

src/regression/scala/leon/test/synthesis/SynthesisSuite.scala

@@ -104,6 +104,8 @@ class SynthesisSuite extends LeonTestSuite {
 
             val sols = search.search(sctx)
 
+            sctx.solverFactory.shutdown()
+
             if(sols.isEmpty) {
               fail("No solution")
             }