From e744fc582bf8d9cb1a1575317dd573de2b613530 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 8 Dec 2009 10:41:18 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1608 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES-SIM | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/prism/NOTES-SIM b/prism/NOTES-SIM
index 68bb6402..7aea91ef 100644
--- a/prism/NOTES-SIM
+++ b/prism/NOTES-SIM
@@ -7,3 +7,12 @@ Moved simulator to simulator-old
 Started to build coarse Java-version of SimulatorEngine.
 Currently, just a few statements in automaticChoices...
 
+
+TEST CASES
+
+[t,t'] examples sent as MRMC bug fix?
+
+DTMC with local nondet and actions (~/prism-models/dave-test.nm)
+
+
+