TestProofScriptCommand

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

tests

failures

ignored

36.391s

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]	5.109s	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.037s	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.224s	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.089s	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.166s	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.313s	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.453s	passed

Standard output

304801     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props4187219744495853579.key 
304801     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 779.6ns 
304801     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
309829     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
309876     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4187219744495853579.key 
309876     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
309876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
309891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props6737251051041814525.key 
309891     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.5ns 
309891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
314882     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
314913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props6737251051041814525.key 
314913     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
314913     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
314929     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
314929     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
314929     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
314929     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11623359524399908974.key 
314929     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns 
314945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
320092     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 
320123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11623359524399908974.key 
320123     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
320139     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
320154     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
320154     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16936684740408035543.key 
320154     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.8ns 
320170     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
325199     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
325231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16936684740408035543.key 
325231     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
325231     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
325246     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
325246     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
325246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15942925010942333024.key 
325246     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns 
325246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
330366     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 
330398     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15942925010942333024.key 
330398     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
330398     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
330413     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
330429     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8326601827446524890.key 
330429     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 987.5ns 
330429     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
335679     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 
335695     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8326601827446524890.key 
335710     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 
335710     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
335710     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
335710     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
335726     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
335726     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6795152722677334285.key 
335726     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.9ns 
335726     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
341149     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 
341165     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6795152722677334285.key 
341165     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
341180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
341180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
341180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''