TestProofScriptCommand

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

tests

failures

ignored

29.187s

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]	4.232s	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]	4.186s	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]	4.136s	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]	4.180s	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]	4.134s	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]	4.185s	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]	4.134s	passed

Standard output

257354     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18043634905735701089.key 
257355     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.9ns 
257357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
261535     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
261566     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18043634905735701089.key 
261566     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
261566     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
261582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13698176789577841623.key 
261582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.5ns 
261582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
265738     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
265753     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13698176789577841623.key 
265753     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
265769     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
265769     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
265769     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
265769     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
265769     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2530474335846865578.key 
265769     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns 
265785     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
269859     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
269890     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2530474335846865578.key 
269890     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
269890     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
269906     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
269906     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7044410703855273176.key 
269906     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.3ns 
269906     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
274055     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
274086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7044410703855273176.key 
274086     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
274086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
274086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
274086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
274086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props14195488263588410245.key 
274086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 801.7ns 
274102     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
278190     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 
278206     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14195488263588410245.key 
278206     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
278206     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
278222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
278237     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8406582023051302678.key 
278237     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 505ns 
278237     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
282364     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
282396     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8406582023051302678.key 
282396     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
282396     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
282411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
282411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
282411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
282411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9544238442218454563.key 
282411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.4ns 
282427     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
286515     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 
286530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9544238442218454563.key 
286530     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
286530     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
286530     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
286530     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''