From ec47bf753a3acc587db2b3260613c351e4ee711f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 13 Aug 2015 09:52:14 +0000 Subject: [PATCH] Remove "KB" from "CUDD max. memory" option description. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10503 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 831efdd6..c01b44b6 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -297,7 +297,7 @@ public class PrismSettings implements Observer "Number of MTBDD levels descended for hybrid engine data structures block division with GS/SOR." }, { INTEGER_TYPE, PRISM_SOR_MAX_MEM, "Hybrid GS memory (KB)", "2.1", new Integer(1024), "0,", "Maximum memory usage for hybrid engine data structures block division with GS/SOR (KB)." }, - { STRING_TYPE, PRISM_CUDD_MAX_MEM, "CUDD max. memory (KB)", "4.2.1", new String("1g"), "", + { STRING_TYPE, PRISM_CUDD_MAX_MEM, "CUDD max. memory", "4.2.1", new String("1g"), "", "Maximum memory available to CUDD (underlying BDD/MTBDD library), e.g. 125k, 50m, 4g. Note: Restart PRISM after changing this." }, { DOUBLE_TYPE, PRISM_CUDD_EPSILON, "CUDD epsilon", "2.1", new Double(1.0E-15), "0.0,", "Epsilon value used by CUDD (underlying BDD/MTBDD library) for terminal cache comparisons." },