Commit 44cbd4c5 authored by Sarah Grebing's avatar Sarah Grebing

fixed one testcase and updated key version

parent 5c27d73f
Pipeline #39615 passed with stages
in 3 minutes and 5 seconds
......@@ -44,11 +44,13 @@ public class KeyEvaluator extends Evaluator<KeyData> {
while (m.find()) {
String name = m.group().substring(1); // remove trailing '?'
Expression t = expr.getSubstitution().get(m.group());
//either evalute the substitent or find ?X in the
System.out.println("t = " + t);
//either evaluate the substitent or find ?X in the
String newVal = "";
if (t != null)
if (t != null) {
newVal = ((Value) t.accept(this)).getData().toString();
m.appendReplacement(newTerm, newVal);
}
else
// newVal = state.getValue(new Variable(name)).getData().toString();
m.appendReplacement(newTerm, newVal);
......
......@@ -92,11 +92,11 @@ public class ExecuteTest {
}
//with current version not working anymore...
@Test
public void testInstantiate() throws IOException, ParseException, ParserException {
File proof = new File("/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/bigIntProof/compareMagnitude_openCases.key.proof");
File script = new File("/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/bigIntProof/instAll.kps");
File proof = new File("../bigIntProof/compareMagnitude_openCases.key.proof");
File script = new File("../bigIntProof/instAll.kps");
Assume.assumeTrue(proof.exists()); //
Execute exec = create(proof.getAbsolutePath(), "-s", script.getAbsolutePath());
Interpreter<KeyData> i = exec.run();
......
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