change package name

Author: CatarinaGamboa

…/classes/traffic_light_1/SimpleTest.java …es/traffic_light_correct/SimpleTest.javaliquidjava-example/src/main/java/testSuite/classes/traffic_light_1/SimpleTest.java renamed to liquidjava-example/src/main/java/testSuite/classes/traffic_light_correct/SimpleTest.java liquidjava-example/src/main/java/testSuite/classes/traffic_light_1/SimpleTest.java renamed to liquidjava-example/src/main/java/testSuite/classes/traffic_light_correct/SimpleTest.java

@@ -1,4 +1,4 @@
-package testSuite.classes.traffic_light_1;
+package testSuite.classes.traffic_light_correct;
 
 import java.io.IOException;
 

…lasses/traffic_light_1/TrafficLight.java …/traffic_light_correct/TrafficLight.javaliquidjava-example/src/main/java/testSuite/classes/traffic_light_1/TrafficLight.java renamed to liquidjava-example/src/main/java/testSuite/classes/traffic_light_correct/TrafficLight.java liquidjava-example/src/main/java/testSuite/classes/traffic_light_1/TrafficLight.java renamed to liquidjava-example/src/main/java/testSuite/classes/traffic_light_correct/TrafficLight.java

@@ -1,4 +1,4 @@
-package testSuite.classes.traffic_light_1;
+package testSuite.classes.traffic_light_correct;
 
 import liquidjava.specification.Refinement;
 import liquidjava.specification.StateRefinement;

liquidjava-verifier/src/test/java/liquidjava/api/tests/TestExamples.java

@@ -29,24 +29,25 @@ public void testFile(final Path filePath) {
                     errorEmitter.foundError() ? (errorEmitter.getFullMessage()) : ("Correct! Passed Verification."));
 
             if (fileName.startsWith("Correct") && errorEmitter.foundError()) {
+                System.out.println("Error in directory: " + fileName + " --- should be correct but an error was found");
                 fail();
             }
             if (fileName.startsWith("Error") && !errorEmitter.foundError()) {
+                System.out.println("Error in directory: " + fileName + " --- should be an error but passed verification");
                 fail();
             }
-        }
-
-        // For Directories and subdirectories check if they contain "error" or "correct" in their name
-        if (Files.isDirectory(filePath) && (fileName.contains("error") || fileName.contains("correct"))) {
-            System.out.println("Inside directory " + fileName);
+        } else // For Directories and subdirectories check if they contain "error" or "correct" in their name
+            if (Files.isDirectory(filePath) && (fileName.contains("error") || fileName.contains("correct"))) {
             ErrorEmitter errorEmitter = CommandLineLauncher.launchTest(filePath.toAbsolutePath().toString());
             System.out.println(
                     errorEmitter.foundError() ? (errorEmitter.getFullMessage()) : ("Correct! Passed Verification."));
 
             if (fileName.contains("correct") && errorEmitter.foundError()) {
+                System.out.println("Error in directory: " + fileName + " --- should be correct but an error was found");
                 fail();
             }
             if (fileName.contains("error") && !errorEmitter.foundError()) {
+                System.out.println("Error in directory: " + fileName + " --- should be an error but passed verification");
                 fail();
             }
         }