#15 add --stacktrace argument to call theta

ftsrg · Sep 16, 2020 · 86c203c · 86c203c
1 parent 4d9220e
commit 86c203c
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -64,7 +64,7 @@ class ThetaVerifier extends AbstractVerifier {
 			// java -jar %THETA_XSTS_CLI_PATH% --model trafficlight.xsts --property red_green.prop
 			val traceFile = new File(modelFile.traceFile)
 			traceFile.delete // So no invalid/old cex is parsed if this actual process does not generate one 
-			val command = "java -jar " + jar.escapePath + " " + parameters + " --model " + modelFile.canonicalPath.escapePath + " --property " + queryFile.canonicalPath.escapePath + " --cex " + traceFile.canonicalPath.escapePath
+			val command = '''java -jar «jar.escapePath» «parameters» --model «modelFile.canonicalPath.escapePath» --property «queryFile.canonicalPath.escapePath» --cex «traceFile.canonicalPath.escapePath» --stacktrace'''
 			// Executing the command
 			logger.log(Level.INFO, "Executing command: " + command)
 			process = Runtime.getRuntime().exec(command)