working on directto benchmark--removing code like unused constructors that hinder...
authorjjenista <jjenista>
Fri, 16 Oct 2009 17:59:16 +0000 (17:59 +0000)
committerjjenista <jjenista>
Fri, 16 Oct 2009 17:59:16 +0000 (17:59 +0000)
commita8c79270b350827f80b87a3a1a914a0a983cd502
tree22dbbf42d91f09d267318aab0d9ca215a83dc35d
parent9b0b0cb289d33ee10cf60c2e09239062384c9ab6
working on directto benchmark--removing code like unused constructors that hinder program understanding, and tinkering with the stripped down version for exploring analysis weaknesses
12 files changed:
Robust/src/Benchmarks/mlp/directto/README.txt
Robust/src/Benchmarks/mlp/directto/mlp-java/D2.java
Robust/src/Benchmarks/mlp/directto/mlp-java/FlightList.java
Robust/src/Benchmarks/mlp/directto/mlp-java/Message.java
Robust/src/Benchmarks/mlp/directto/mlp-java/makefile
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/D2.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/Flight.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/FlightList.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/Message.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/TrajectorySynthesizer.java
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile