TestProofScriptCommand

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

tests
0

failures
0

ignored
38.816s

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.481s 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.483s 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.624s 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.524s 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.494s 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.642s 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.568s passed

Standard output

322588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props10091376917900397851.key 
322588     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 816.9ns 
322588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
328011     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 
328042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props10091376917900397851.key 
328042     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
328042     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
328073     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14648835818968075141.key 
328073     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 641.2ns 
328073     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
333495     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 
333526     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14648835818968075141.key 
333542     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
333542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
333542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
333542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
333542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
333557     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11531455972742002221.key 
333557     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.4ns 
333557     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339120     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 
339135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11531455972742002221.key 
339151     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 
339151     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
339167     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
339167     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14610230127251813710.key 
339167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.3ns 
339167     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
344662     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 
344693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14610230127251813710.key 
344693     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 
344693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
344693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
344693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
344709     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props167572093586549736.key 
344709     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.94ms 
344709     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
350125     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 
350156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props167572093586549736.key 
350156     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 
350172     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
350188     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
350188     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10174671985146321774.key 
350188     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns 
350188     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
355783     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 
355814     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10174671985146321774.key 
355814     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.5ns 
355814     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
355814     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
355830     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
355830     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
355845     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5668716067152863364.key 
355845     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.8ns 
355861     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
361367     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 
361398     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5668716067152863364.key 
361398     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
361398     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
361398     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
361398     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''