TestProofScriptCommand

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

tests
0

failures
0

ignored
22.656s

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] 3.167s 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.224s 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.218s 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.274s 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.359s 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.220s 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.194s passed

Standard output

190483     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props11188740235877921239.key 
190483     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.2ns 
190483     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193606     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
193637     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props11188740235877921239.key 
193637     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
193637     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1) 
193652     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11390339599615359678.key 
193652     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns 
193652     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196814     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
196845     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11390339599615359678.key 
196845     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
196845     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 
196861     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 
196861     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
196861     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
196861     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props17722747047310139372.key 
196861     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns 
196861     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
200065     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17722747047310139372.key 
200065     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
200065     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 
200080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 
200080     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16969603415696047162.key 
200080     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 
200096     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203324     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
203339     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16969603415696047162.key 
203339     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
203339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 
203355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
203355     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1032656520747358331.key 
203355     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.6ns 
203355     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206668     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
206683     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1032656520747358331.key 
206683     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
206683     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 
206699     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 
206714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props2885464647527056322.key 
206714     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.6ns 
206714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
209903     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
209919     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2885464647527056322.key 
209934     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
209934     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 
209934     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 
209934     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 
209934     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 
209934     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10453192815044541846.key 
209950     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 769.9ns 
209950     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213097     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
213113     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10453192815044541846.key 
213129     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
213129     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 
213129     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 
213129     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3)