TestProofScriptCommand

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

tests
0

failures
0

ignored
21.962s

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.064s 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.122s 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.164s 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.119s 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.174s 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.155s 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.164s passed

Standard output

186164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18130450990873834703.key 
186164     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 545.5ns 
186164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 
189227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18130450990873834703.key 
189227     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
189227     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
189243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3018522358900615174.key 
189243     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 
189243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
192302     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
192334     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3018522358900615174.key 
192334     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
192334     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
192349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
192349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
192349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
192349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4877797121966750580.key 
192349     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 742.9ns 
192349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
195475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
195499     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4877797121966750580.key 
195499     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
195499     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
195514     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
195514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3898401361976838587.key 
195514     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 
195530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198602     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 
198618     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3898401361976838587.key 
198618     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
198633     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
198633     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
198633     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
198649     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8995179943230994149.key 
198649     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms 
198649     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201777     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
201792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8995179943230994149.key 
201792     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
201792     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201808     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
201823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1047927770638889522.key 
201823     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns 
201823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204916     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 
204948     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1047927770638889522.key 
204948     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
204948     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
204948     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
204948     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
204963     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
204963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13223997179721274846.key 
204963     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.4ns 
204963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208097     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
208112     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13223997179721274846.key 
208112     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
208112     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
208128     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
208128     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''