From 93c2138383f4569d7c1d69d5f55c7fe6224ce703 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 15 Sep 2016 14:36:24 +0000 Subject: [PATCH] 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 | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/prism/TestModelGenerator.java b/prism/src/prism/TestModelGenerator.java index 8721986e..692909b6 100644 --- a/prism/src/prism/TestModelGenerator.java +++ b/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()); } + } }