TestProofScriptCommand

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

tests

failures

ignored

19.704s

duration

100%

successful

Tests
Standard output

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]	2.723s	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]	2.729s	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]	2.854s	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]	2.833s	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]	2.788s	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]	2.934s	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]	2.843s	passed

Standard output

170053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16762283042577429218.key 
170053     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.85ms 
170053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172742     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
172757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16762283042577429218.key 
172757     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
172757     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
172773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14547170780596002908.key 
172773     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.2ns 
172773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175462     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
175478     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14547170780596002908.key 
175478     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
175478     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
175494     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
175494     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
175494     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
175494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props8394340362870017457.key 
175494     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.8ns 
175494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178292     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
178324     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props8394340362870017457.key 
178324     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
178324     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
178339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
178355     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10934379753857915929.key 
178355     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.1ns 
178355     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181153     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
181184     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10934379753857915929.key 
181184     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
181184     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
181184     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
181184     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
181200     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17603355211634937446.key 
181200     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.8ns 
181200     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183936     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
183952     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17603355211634937446.key 
183952     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
183952     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
183983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props6954529913516910649.key 
183983     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.7ns 
183983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
186844     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
186875     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6954529913516910649.key 
186891     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
186891     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
186891     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
186891     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
186907     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
186907     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9654401686926364875.key 
186907     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns 
186907     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189705     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
189736     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9654401686926364875.key 
189736     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
189736     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
189747     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
189747     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''