TestProofScriptCommand

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

tests

failures

ignored

33.761s

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.686s	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.815s	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.716s	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.805s	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.819s	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.999s	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.921s	passed

Standard output

281519     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props5583221320718049707.key 
281519     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 678.7ns 
281519     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
286147     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
286178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props5583221320718049707.key 
286178     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
286178     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
286194     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16990709799329346258.key 
286194     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 582.6ns 
286194     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
290963     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 
290995     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16990709799329346258.key 
290995     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
290995     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
291010     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
291010     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
291010     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
291010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12509490638471510132.key 
291010     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 229ns 
291026     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
295680     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 
295696     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12509490638471510132.key 
295712     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
295712     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
295727     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
295727     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props11620622236483130610.key 
295727     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.5ns 
295743     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
300503     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 
300534     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11620622236483130610.key 
300534     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
300534     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
300534     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
300534     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
300550     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15432873403287921133.key 
300550     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.3ns 
300550     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
305292     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
305323     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15432873403287921133.key 
305323     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
305339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
305355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
305401     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12671526970706499487.key 
305401     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 911ns 
305401     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
310308     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 
310339     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12671526970706499487.key 
310339     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
310339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
310355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
310355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
310355     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
310355     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11428682190826977611.key 
310355     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.1ns 
310371     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
315246     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 
315261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11428682190826977611.key 
315261     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
315261     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
315277     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
315277     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''