@After
public void tearDown() {
super.tearDown();
SampleFileWriter.destroy(pathToInput + "/nusmv/ExampleFile.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/ExampleFile1.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/ExampleFile2.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/Test.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/CarTransmission.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/CourseSection.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/GrantApplication.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/AbstractMachine.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/NestedMachine.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/BigStateMachineTest.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/CourseSectionNested.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/NestedWatch.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/DigitalWatchFlat.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/Elevator.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/BigStateMachineWithNakedTransition.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/myTemporaryTest.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/FurnaceControlSystem.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/AdaptiveCruiseControlSystem.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/AdaptiveCruiseControlWithTerminalState.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/AbstractConcurrentSystem.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/MultiLevelStateMachineExample.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/MultiLevelStateMachineExampleCase2.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/nestedConcurrentMachine.smv");
SampleFileWriter.destroy(pathToInput + "/nusmv/concurrentMachineExample.smv");
}
@Before
public void setUp() {
super.setUp();
language = "NuSMV";
languagePath = "nusmv";
}
