TestProofScriptCommand

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

tests
0

failures
0

ignored
35.980s

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] 5.088s 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.153s 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.219s 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.160s 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.074s 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.181s 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.105s passed

Standard output

311584     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7996335920261166856.key 
311584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 508.2ns 
311584     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
316634     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
316649     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7996335920261166856.key 
316665     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
316665     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
316681     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14218769682451489735.key 
316681     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.8ns 
316681     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
321771     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
321787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14218769682451489735.key 
321803     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 
321803     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
321818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
321818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
321818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
321818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3952547012967132193.key 
321818     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.7ns 
321834     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
326975     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 
327006     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3952547012967132193.key 
327006     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
327006     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
327022     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
327038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10941999641853349822.key 
327038     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.2ms 
327038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
332169     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 
332200     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10941999641853349822.key 
332200     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
332200     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
332200     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
332200     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
332215     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5849020658656880701.key 
332215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 913.9ns 
332215     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
337213     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 
337244     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5849020658656880701.key 
337244     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
337244     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
337275     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
337275     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props2585498971448666093.key 
337275     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.1ns 
337275     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
342409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 
342440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2585498971448666093.key 
342440     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 
342440     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
342456     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
342456     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
342456     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
342471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props1276547913996941006.key 
342471     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.3ns 
342471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
347531     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 
347562     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props1276547913996941006.key 
347562     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
347562     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
347562     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
347562     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''