keep a copy of my current dissertation example to investiaget further and another...

[IRC.git] / Robust / src / Benchmarks / oooJava / dissertation-example-investigate / README

diff --git a/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/README b/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/README
new file mode 100644 (file)
index 0000000..f82c0b0
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/README
@@ -0,0 +1,16 @@
+Why doesn't the example work written like this?
+
+In makeNewTree when 
+TreeNode left = buildSubTree( ...
+
+The variable edge from left has reachability states
+saying it can get to an object reachable from previous
+root objects, which seems obviously over conservative, then
+
+root.left = left;
+
+seals the deal and updates the graph by introducing states that admit
+reachability from both the newest root and a previous root.
+
+
+Why did that happen?
\ No newline at end of file