String interruptSched;
InterruptTestCase(String fname, Properties props) throws Exception {
super(fname, props);
ProbeParser p = new ProbeParser(new FileInputStream(fname));
probeTest = p.ProbeTest();
progName = props.getProperty("Program");
interruptSched = props.getProperty("Interrupt-schedule");
}