From 86c203ce2d43d12f4e5444b6e571792d30499f99 Mon Sep 17 00:00:00 2001 From: Benedek Horvath Date: Wed, 16 Sep 2020 14:30:26 +0200 Subject: [PATCH] #15 add --stacktrace argument to call theta --- .../src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/xsts/hu.bme.mit.gamma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend b/plugins/xsts/hu.bme.mit.gamma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend index b25295bd0..daf6cf537 100644 --- a/plugins/xsts/hu.bme.mit.gamma.theta.verification/src/hu/bme/mit/gamma/theta/verification/ThetaVerifier.xtend +++ b/plugins/xsts/hu.bme.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)