(String file, String expected, int spills )
| 45 | } |
| 46 | |
| 47 | public static void runS(String file, String expected, int spills ) throws IOException { |
| 48 | run("src/test/java/com/seaofnodes/simple/progs", file, null, expected, spills, true); |
| 49 | } |
| 50 | |
| 51 | public static void runS(String file, TypeInteger arg, String expected, int spills ) throws IOException { |
| 52 | run("src/test/java/com/seaofnodes/simple/progs", file, arg, expected, spills, true); |
no test coverage detected