integration with checking code

[IRC.git] / Robust / src / IR / Flat / BuildCode.java

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 6f906751da426e574d13c17154af0b2abcbe68b4..8fe2873251e9c1cc86e2f8caa80523b5d8c3ca8f 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -941,7 +941,9 @@ public class BuildCode {
            output.println("if (doanalysis"+specname+"("+varname+")) {");
            output.println("free"+specname+"_state("+varname+");");
            output.println("} else {");
+           output.println("/* Bad invariant */");
            output.println("free"+specname+"_state("+varname+");");
+           output.println("abort_task();");
            output.println("}");
 
            output.println("}");