TestProofScriptCommand

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

tests

failures

ignored

22.807s

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.174s	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.220s	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.188s	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.189s	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.313s	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.378s	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.345s	passed

Standard output

190480     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props5510664116121348412.key 
190480     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.13ms 
190496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
193639     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props5510664116121348412.key 
193639     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
193639     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
193655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props17832003474982600303.key 
193655     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156ns 
193655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196844     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
196876     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props17832003474982600303.key 
196876     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
196876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
196876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
196876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
196876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
196891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12582484898914193920.key 
196891     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 
196891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200018     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
200050     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12582484898914193920.key 
200050     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
200050     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200065     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
200065     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props873305234014789661.key 
200065     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.3ns 
200081     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203223     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 
203239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props873305234014789661.key 
203255     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
203255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
203255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
203255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props10700701622150058652.key 
203255     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 750.7ns 
203255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
206554     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props10700701622150058652.key 
206554     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
206554     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
206569     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
206569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props16026058566760889143.key 
206569     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns 
206569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
209884     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
209915     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props16026058566760889143.key 
209931     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
209931     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
209931     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
209931     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
209947     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
209947     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props12879635730939739701.key 
209947     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns 
209947     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213229     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 
213261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12879635730939739701.key 
213261     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
213261     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
213276     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
213276     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''