Removing leftover test files

umple · Sep 18, 2018 · fa06e1e · fa06e1e
1 parent 480a954
commit fa06e1e
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 203 deletions.
diff --git a/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatElevator.smv b/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatElevator.smv
diff --git a/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatSpecificFlight.smv b/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatSpecificFlight.smv
diff --git a/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/NuSMVOptimizerTemplateTest.java b/cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/NuSMVOptimizerTemplateTest.java
@@ -27,6 +27,8 @@ public void tearDown()
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/ExampleFile.smv");
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/ExampleFile1.smv");
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/ExampleFile2.smv");
+	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/FlatElevator.smv");
+	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/FlatSpecificFlight.smv");	    
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/Test.smv");
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/CarTransmission.smv");
 	    SampleFileWriter.destroy(pathToInput + "/nusmvoptimizer/CourseSection.smv");