NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1608 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · e744fc582b
1 changed files with 9 additions and 0 deletions
--- 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)
+
+
+