TestProofScriptCommand

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

tests

failures

ignored

24.996s

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]	3.611s	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]	3.517s	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]	3.564s	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]	3.499s	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]	3.597s	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]	3.673s	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]	3.535s	passed

Standard output

200925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14771710732508529923.key 
200940     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.41ms 
200940     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204459     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
204490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14771710732508529923.key 
204506     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
204506     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
204506     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3487958956209178965.key 
204506     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216ns 
204522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207977     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
208008     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3487958956209178965.key 
208008     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
208024     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
208024     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
208024     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
208024     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
208039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12137128560205443097.key 
208039     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.7ns 
208039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211542     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
211558     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12137128560205443097.key 
211558     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
211558     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
211573     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
211589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13577655511738854769.key 
211589     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 556.7ns 
211589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
215059     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
215090     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13577655511738854769.key 
215090     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
215090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
215090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
215090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
215106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5708629189652610171.key 
215106     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 781.2ns 
215106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
218671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5708629189652610171.key 
218671     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
218671     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
218687     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
218702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12946177060659644598.key 
218702     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 780.9ns 
218702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
222299     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 
222330     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12946177060659644598.key 
222330     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
222330     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
222345     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
222345     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
222345     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
222361     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2519462799948783608.key 
222361     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.1ns 
222361     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225865     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
225880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2519462799948783608.key 
225880     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
225880     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
225896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
225896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''