TestProofScriptCommand

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

tests

failures

ignored

28.547s

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]	4.037s	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.096s	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.063s	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]	4.078s	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]	4.128s	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.064s	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.081s	passed

Standard output

246561     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props2631824064427030214.key 
246561     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 881.2ns 
246561     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
250547     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 
250578     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2631824064427030214.key 
250594     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
250594     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
250610     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1022531259168385790.key 
250610     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 243ns 
250610     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
254643     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 
254674     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1022531259168385790.key 
254674     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
254674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
254690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
254690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
254690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
254690     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7424111168723400236.key 
254690     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.7ns 
254690     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
258708     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 
258739     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7424111168723400236.key 
258739     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
258739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
258754     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
258754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10407914514847375139.key 
258754     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.6ns 
258754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
262787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 
262818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10407914514847375139.key 
262818     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
262818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
262818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
262818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
262856     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props12947060840614403971.key 
262856     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.5ns 
262856     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
266900     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 
266931     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props12947060840614403971.key 
266931     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 
266931     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
266947     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
266963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13954830787409445544.key 
266963     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 
266963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
270981     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 
270996     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13954830787409445544.key 
271012     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 
271012     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
271012     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
271012     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
271027     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
271027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10265862328973322622.key 
271027     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 712.2ns 
271027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
275078     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 
275093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10265862328973322622.key 
275093     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
275093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
275109     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
275109     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''