TestProofScriptCommand

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

tests

failures

ignored

39.383s

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]	5.730s	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]	5.671s	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]	5.808s	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.606s	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.603s	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]	5.525s	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]	5.440s	passed

Standard output

322781     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props11435073251304236652.key 
322781     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 915.4ns 
322781     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
328455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 
328487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props11435073251304236652.key 
328487     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
328487     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
328502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4929588840839567427.key 
328502     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.3ns 
328502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
334110     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 
334141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4929588840839567427.key 
334157     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.5ns 
334157     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
334173     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
334173     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
334173     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
334173     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2698416162492524054.key 
334173     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.12ms 
334188     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 
339936     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2698416162492524054.key 
339936     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 
339936     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
339982     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
339982     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props900875297525328554.key 
339982     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.5ns 
339998     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
345558     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 
345589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props900875297525328554.key 
345589     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
345589     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
345589     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
345589     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
345605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7768520105491848047.key 
345605     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.6ns 
345605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
351146     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 
351178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7768520105491848047.key 
351178     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
351178     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
351193     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
351209     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14520641100077444153.key 
351209     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 
351209     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
356672     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 
356688     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14520641100077444153.key 
356703     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 
356703     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
356703     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
356703     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
356719     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
356719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11707360277865833230.key 
356719     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns 
356719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
362128     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 
362143     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11707360277865833230.key 
362159     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
362159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
362159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
362159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''