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." },