Exemple #1
0
 @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");
 }
Exemple #2
0
 @Before
 public void setUp() {
   super.setUp();
   language = "NuSMV";
   languagePath = "nusmv";
 }