From 69d14c44cc7810665aaaad5fbbd8424d2608d012 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 17 Nov 2006 16:41:53 +0000
Subject: [PATCH] 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
---
 prism/src/simulator/networking/NOTES | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 prism/src/simulator/networking/NOTES

diff --git a/prism/src/simulator/networking/NOTES b/prism/src/simulator/networking/NOTES
new file mode 100644
index 00000000..c3b18ccf
--- /dev/null
+++ 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