X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FDoTests;h=052cac2f4f6aad908e1df6c37aa6d9d8c9c8a84f;hb=9e0bb51191b5dfac758cd3f69f2efc780a665c1f;hp=1b2356ba6ba40216fa921835a08dadad2f23dce1;hpb=f3e3c0328bd386e32cb9b444e8afcfd599157a9c;p=IRC.git

diff --git a/Robust/src/Tests/DoTests b/Robust/src/Tests/DoTests
index 1b2356ba..052cac2f 100755
--- a/Robust/src/Tests/DoTests
+++ b/Robust/src/Tests/DoTests
@@ -7,5 +7,12 @@ dotest BoundsFail2 BoundsFail2.java
 dotest BoundsFail3 BoundsFail3.java
 dotest BoundsFail4 BoundsFail4.java
 dotest StringTest StringTest.java
+dotest StringBufferTest StringBufferTest.java
 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
\ No newline at end of file