TestProofScriptCommand

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

tests

failures

ignored

36.489s

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.225s	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.183s	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.405s	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.108s	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.298s	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.132s	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.138s	passed

Standard output

304382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16682564349834756050.key 
304397     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.39ms 
304397     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
309562     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 
309593     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16682564349834756050.key 
309593     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 
309593     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
309609     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1127335828632949628.key 
309609     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns 
309609     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
314743     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 
314772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1127335828632949628.key 
314777     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
314779     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
314790     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
314791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
314791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
314939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props9882443815691366841.key 
314939     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.8ns 
314939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
320034     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
320050     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9882443815691366841.key 
320050     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
320175     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
320198     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
320198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16754298440748424153.key 
320198     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.7ns 
320198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
325259     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 
325290     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16754298440748424153.key 
325290     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
325290     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
325306     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
325306     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
325306     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8736976450204130019.key 
325306     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.57ms 
325306     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
330559     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 
330590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8736976450204130019.key 
330590     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
330590     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
330606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
330606     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props17701719447774624919.key 
330606     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 
330621     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
335691     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 
335722     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props17701719447774624919.key 
335722     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
335722     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
335738     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
335738     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
335738     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
335754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10857341961991710574.key 
335754     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns 
335754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
340846     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
340861     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10857341961991710574.key 
340861     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
340861     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
340877     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
340877     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''