NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1679 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 8793519623
1 changed files with 9 additions and 0 deletions
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@ -1,3 +1,12 @@
 -----------------------------------------------------
 bin/ptamc examples/pta/simple/iandc.des sr 'z<6'
 bin/ptamc examples/pta/simple/tcs.des l3 true
 bin/ptamc examples/pta/simple/gethin1.des l2 true
 bin/ptamc examples/pta/simple/gethin2.des l2 true
 bin/ptamc examples/pta/simple/formats.des l3 true -refine=first -v 
 -----------------------------------------------------
 More Type checking, semantic checks ???
 Make sure checks match Digital clocks, Stochastic games