TestProofScriptCommand

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

tests

failures

ignored

24.385s

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.399s	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.446s	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.436s	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.468s	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.526s	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.627s	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.483s	passed

Standard output

208182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15544730165853625891.key 
208182     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 733.1ns 
208182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
211553     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15544730165853625891.key 
211569     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
211569     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
211569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3180997655685265926.key 
211569     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 625.1ns 
211585     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214969     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
215000     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3180997655685265926.key 
215016     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
215016     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
215016     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
215016     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
215016     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
215031     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2442977182467257260.key 
215031     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.02ms 
215031     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218406     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
218437     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2442977182467257260.key 
218437     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
218437     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
218453     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
218469     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4834306071855805483.key 
218469     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 
218469     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221892     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 
221908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4834306071855805483.key 
221908     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
221908     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
221923     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
221923     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
221923     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17895839238143860085.key 
221923     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 812.6ns 
221923     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225403     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
225434     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17895839238143860085.key 
225434     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
225434     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
225450     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
225450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10939151221118752466.key 
225450     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 
225466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228952     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
228983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10939151221118752466.key 
228983     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
228983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
228999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
229061     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
229061     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
229077     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props16967721728254245763.key 
229077     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 577.3ns 
229077     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232516     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
232547     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props16967721728254245763.key 
232547     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
232547     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
232547     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
232547     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''