From 22b8658fbd37da7fc7e628070c216638941e826c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 15 Nov 2010 15:46:32 +0000 Subject: [PATCH] Flagged possible bug (explicit MC). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2252 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/StateValues.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java index b93e1695..84c58cf9 100644 --- a/prism/src/explicit/StateValues.java +++ b/prism/src/explicit/StateValues.java @@ -66,6 +66,7 @@ public class StateValues */ public StateValues(Type type, int size) { + // TODO: check this: ? probably always returns Double due to typing this(type, size, type instanceof TypeInt ? new Integer(0) : new Double(0.0)); }