From 303213e77b0fa5334d3f2b3c928ab24b88281e54 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 21 Dec 2015 15:55:10 +0000 Subject: [PATCH] ProbModelChecker: Fix reference leak when doing steady-state computation (MTBDD) We have to clear the StateValues vector of the initial distribution to avoid a reference leak when using the MTBDD engine. E.g., when doing prism prism-examples/dice/dice.pm -ss -mtbdd git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11060 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ProbModelChecker.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 0174eabe..a6d3355a 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -1981,6 +1981,8 @@ public class ProbModelChecker extends NonProbModelChecker JDD.Deref(notInBSCCs); if (solnProbs != null) solnProbs.clear(); + if (initDist != null) + initDist.clear(); throw e; } @@ -1993,6 +1995,8 @@ public class ProbModelChecker extends NonProbModelChecker } if (start != notInBSCCs) JDD.Deref(notInBSCCs); + if (initDist != null) + initDist.clear(); return solnProbs; }