Robust/src/Tests/DoTests

   1 #!/bin/bash
   2 export PATH=$PATH:./
   3 dotest Array Array.java
   4 dotest Array2 Array2.java
   5 dotest BoundsFail BoundsFail.java
   6 dotest BoundsFail2 BoundsFail2.java
   7 dotest BoundsFail3 BoundsFail3.java
   8 dotest BoundsFail4 BoundsFail4.java
   9 dotest StringTest StringTest.java
  10 dotest Test Test.java
  11 dotest virtualcalltest virtualcalltest.java
  12 dotest IncTest IncTest.java