TestProofScriptCommand

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

tests

failures

ignored

18.389s

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]	2.574s	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]	2.614s	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]	2.577s	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]	2.628s	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]	2.616s	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]	2.732s	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]	2.648s	passed

Standard output

156919     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props3692516724949568136.key 
156919     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 935.3ns 
156919     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
159466     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 
159482     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3692516724949568136.key 
159482     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
159482     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
159498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4630857526222747027.key 
159498     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.7ns 
159498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
162069     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
162085     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4630857526222747027.key 
162101     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
162101     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
162107     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
162107     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
162107     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
162107     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12708918270369096840.key 
162107     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.3ns 
162116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164642     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 
164658     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12708918270369096840.key 
164674     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
164674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
164674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
164689     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7178366093770723159.key 
164689     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns 
164689     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167297     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 
167313     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7178366093770723159.key 
167313     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
167313     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
167313     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
167313     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
167313     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17277211352740809380.key 
167328     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 924.2ns 
167328     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
169897     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 
169913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17277211352740809380.key 
169913     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
169928     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
169928     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
169944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13152950516129107403.key 
169944     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.9ns 
169944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172630     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
172646     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13152950516129107403.key 
172646     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
172646     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
172662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
172662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
172662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
172662     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10059035987832971597.key 
172662     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 
172662     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
175253     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10059035987832971597.key 
175253     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
175253     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
175300     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
175300     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''