Commit 9fe4e530 authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

small fix

refs 1395
parent 60cc51de
......@@ -42,7 +42,7 @@ import org.fortiss.af3.tools.smtlib.textgen.SMTLIBTextGenerator;
* @author igna
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @ConQAT.Rating YELLOW Hash: 64AE5864E2BEE36EF516BF9DB0A1D1B2
* @ConQAT.Rating YELLOW Hash: F1526208CB8DEBF8ADD60F3D5E48A9A9
*/
public class Z3Runner extends ToolRunnerBase<SMTLIBScript, Z3Result> {
......@@ -57,7 +57,7 @@ public class Z3Runner extends ToolRunnerBase<SMTLIBScript, Z3Result> {
Pair<String, String> outputs = smokeToolRun(getToolCommand(), "-version");
if(outputs != null && outputs.getFirst().length() > 0) {
return outputs.getFirst();
return outputs.getFirst().replace("Z3 version ", "");
}
return null;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment