Add error handler in ThetaVerifier

ftsrg · Sep 13, 2020 · 4d9220e · 4d9220e
1 parent a3d9575
commit 4d9220e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/....mit.gamma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend b/....mit.gamma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend
@@ -85,6 +85,10 @@ class ThetaVerifier extends AbstractVerifier {
 			else if (line.contains(UNSAFE)) {
 				super.result = ThreeStateBoolean.FALSE
 			}
+			else {
+				// Some kind of error
+				throw new IllegalArgumentException(line)
+			}
 			// Adapting result
 			super.result = super.result.adaptResult
 			if (!traceFile.exists) {