TestProofScriptCommand

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

tests
0

failures
0

ignored
39.141s

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.610s 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.631s 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.650s 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.565s 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.537s 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.581s 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.567s passed

Standard output

333637     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14523007823982112394.key 
333637     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 715.5ns 
333637     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339176     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 
339207     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14523007823982112394.key 
339223     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 
339223     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
339239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props634481953575510294.key 
339239     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.6ns 
339239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
344776     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 
344807     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props634481953575510294.key 
344807     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
344807     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
344823     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
344823     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
344870     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
344870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props5201231632554138978.key 
344870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.8ns 
344885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
350475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 
350490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5201231632554138978.key 
350506     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 
350506     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
350521     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
350521     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10361472913550536855.key 
350521     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.9ns 
350537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
356055     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 
356071     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10361472913550536855.key 
356086     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
356086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
356086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
356086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
356086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6292501622924004147.key 
356086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 925.2ns 
356086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
361577     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 
361608     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6292501622924004147.key 
361608     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
361608     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
361624     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
361640     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1109242899490862267.key 
361640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.2ns 
361640     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
367158     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 
367189     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1109242899490862267.key 
367189     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 
367189     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
367205     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
367205     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
367205     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
367205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2091100001015672850.key 
367205     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns 
367220     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
372711     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 
372742     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2091100001015672850.key 
372758     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 
372758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
372758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
372758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''