changes to Test benchmark
authoradash <adash>
Tue, 7 Apr 2009 20:26:36 +0000 (20:26 +0000)
committeradash <adash>
Tue, 7 Apr 2009 20:26:36 +0000 (20:26 +0000)
commit598618e86e987143fd637423d7fa9891858bbf71
treec6c2493539caeb903c20da44a386a43092910d11
parenta81c375848fa66c4e044473f809536f57e30d0a4
changes to Test benchmark
Robust/src/Benchmarks/SingleTM/Tests/Simple.java
Robust/src/Benchmarks/SingleTM/Tests/makefile