TestModelGenerator: correctly setup and tear down CUDD

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11831 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/TestModelGenerator.java

@@ -187,6 +187,8 @@ public class TestModelGenerator extends DefaultModelGenerator
 	{
 		try {
 			Prism prism = new Prism(new PrismPrintStreamLog(System.out));
+			prism.setMainLog(new PrismFileLog("stdout"));
+			prism.initialise();
 
 			int test = 2;
 
@@ -212,10 +214,12 @@ public class TestModelGenerator extends DefaultModelGenerator
 				System.out.println(res);
 			}
 
+			prism.closeDown(true);
 		} catch (PrismException e) {
 			System.err.println("Error: " + e.getMessage());
 		} catch (FileNotFoundException e) {
 			System.err.println("Error: " + e.getMessage());
 		}
+
 	}
 }