a test case showing a bug in disjoint analysis basic points-to stuff

[IRC.git] / Robust / src / Tests / DoTests

diff --git a/Robust/src/Tests/DoTests b/Robust/src/Tests/DoTests
index 347206db0fc6a0c7699f9542bfa8eb1baec2462a..37a4aff46902298916b5c3a6cea8293edee61100 100755 (executable)
--- a/Robust/src/Tests/DoTests
+++ b/Robust/src/Tests/DoTests
@@ -12,3 +12,15 @@ dotest Test Test.java
 dotest virtualcalltest virtualcalltest.java
 dotest IncTest IncTest.java
 dotest CommandLineTest CommandLineTest.java hello hi
+dotest WriteFile WriteFile.java
+dotest ReadFile ReadFile.java
+dotest FileLength FileLength.java
+dotest IntegerTest IntegerTest.java
+dotest AbstractTest AbstractTest.java
+dotest EnumTest EnumTest.java
+dotest InitializerTest InitializerTest.java
+dotest InterfaceTest InterfaceTest.java
+dotest StaticInnerClassTest StaticInnerClassTest.java
+dotest StaticTest StaticTest.java
+dotest SwitchCaseTest SwitchCaseTest.java
+dotest TryCatchTest TryCatchTest.java