public static enum StateWireState {
FULL, EMPTY
};
+
+ public static int testnum;
public static void fatal(boolean pred, String msg) {
if (pred) throw new FailureException(msg);
}
public static class FailureException extends RuntimeException {
- public FailureException(String s) { super(s); }
+ public FailureException(String s) { super("test " + testnum + ": " + s); }
}
/**