TestProofScriptCommand

all > de.uka.ilkd.key.macros.scripts > TestProofScriptCommand
7

tests
0

failures
0

ignored
34.643s

duration
100%

successful

Tests

Test Method name Duration Result
[1] andRight.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\andRight.props testProofScript(String, Path)[1] 4.909s passed
[2] hide.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.exc.props testProofScript(String, Path)[2] 4.856s passed
[3] hide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.props testProofScript(String, Path)[3] 4.981s passed
[4] rule.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\rule.exc.props testProofScript(String, Path)[4] 5.024s passed
[5] selectFormula.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\selectFormula.props testProofScript(String, Path)[5] 5.029s passed
[6] unhide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide.props testProofScript(String, Path)[6] 4.902s passed
[7] unhide2.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide2.props testProofScript(String, Path)[7] 4.942s passed

Standard output

288548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1922999283125634419.key 
288548     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 684.1ns 
288548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
293416     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 
293447     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1922999283125634419.key 
293447     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
293447     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
293463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1314513724244666745.key 
293463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns 
293463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
298273     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 
298304     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1314513724244666745.key 
298304     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
298319     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
298319     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
298319     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
298319     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
298335     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7890297272085645316.key 
298335     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.6ns 
298335     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
303254     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
303270     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7890297272085645316.key 
303285     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 
303285     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
303301     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
303301     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13822624345166006103.key 
303301     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.6ns 
303317     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
308295     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
308326     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13822624345166006103.key 
308326     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
308326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
308326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
308326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
308326     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5654294276649009530.key 
308326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms 
308342     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
313309     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 
313325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5654294276649009530.key 
313341     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
313341     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
313356     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
313356     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5357723774229200372.key 
313356     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.2ns 
313356     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
318211     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 
318243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5357723774229200372.key 
318243     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
318243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
318243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
318258     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
318258     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
318258     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props1257862168060308048.key 
318258     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.1ns 
318274     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
323169     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 
323185     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props1257862168060308048.key 
323185     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
323185     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
323185     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
323185     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''