Filed some notes about the distributed version of the simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@163 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 69d14c44cc
1 changed files with 5 additions and 0 deletions
--- a/prism/src/simulator/networking/NOTES
+++ b/prism/src/simulator/networking/NOTES
@ -0,0 +1,5 @@
+Some thoughts:
+
+- if stop early, should really let all current samples finish so as not to favour shorter traces
+
+- take care when generating multiple random seeds, esp. if all at same time