diff --git a/.gitignore b/.gitignore
index f6349edbec..f5384f4aee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ tmp
 tmp.*
 vct-tool.jar
 .bsp/
+null/
 
 # Mac specific OS files
 .DS_Store
diff --git a/.run/[Shared] run folder classes.run.xml b/.run/[Shared] run folder classes.run.xml
new file mode 100644
index 0000000000..bd2e95663e
--- /dev/null
+++ b/.run/[Shared] run folder classes.run.xml	
@@ -0,0 +1,11 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="[Shared] example/classes/" type="Application" factoryName="Application">
+    <option name="MAIN_CLASS_NAME" value="vct.main.Main" />
+    <module name="vercors" />
+    <option name="PROGRAM_PARAMETERS" value="--test=examples/classes/ --test-workers=2 --tool carbon --tool silicon --exclude-suite=slow,medium,problem-fail,skip-travis --progress --actions-test-output --test-fail-idea-configs" />
+    <option name="VM_PARAMETERS" value="-Xss128m" />
+    <method v="2">
+      <option name="Make" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.run/[Shared] run single LFQhistory.run.xml b/.run/[Shared] run single LFQhistory.run.xml
new file mode 100644
index 0000000000..5b81d5ee15
--- /dev/null
+++ b/.run/[Shared] run single LFQhistory.run.xml	
@@ -0,0 +1,11 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="[Shared] example/layers/LFQhistory.java" type="Application" factoryName="Application">
+    <option name="MAIN_CLASS_NAME" value="vct.main.Main" />
+    <module name="vercors" />
+    <option name="PROGRAM_PARAMETERS" value="--progress --silicon --strict-internal --check-history examples/layers/LFQHist.java --encoded tmp/output.sil" />
+    <option name="VM_PARAMETERS" value="-Xss128m" />
+    <method v="2">
+      <option name="Make" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/src/main/java/vct/test/CommandLineTesting.scala b/src/main/java/vct/test/CommandLineTesting.scala
index fec9f98986..2aa8ee2b72 100644
--- a/src/main/java/vct/test/CommandLineTesting.scala
+++ b/src/main/java/vct/test/CommandLineTesting.scala
@@ -324,7 +324,8 @@ object CommandLineTesting {
     Output("Verification times:")
 
     for (taskKey <- taskKeys) {
-      val time = allTasks(taskKey).times.get("entire run")
+      val task = allTasks(taskKey)
+      val time = task.times.get("entire run")
       Output("%-40s: %s", taskKey, time match {
         case None => "unknown"
         case Some(ms) => String.format("%dms", Int.box(ms))
@@ -340,6 +341,9 @@ object CommandLineTesting {
 
     if (fails.nonEmpty) {
       hre.lang.System.Verdict("%d out of %d run tests failed", Int.box(fails.size), Int.box(tasks.size))
+      for(fail <- fails){
+        Output(fail);
+      }
       throw new HREExitException(1)
     } else {
       hre.lang.System.Verdict("All %d tests passed", Int.box(tasks.size))