TestProofScriptCommand

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

tests

failures

ignored

26.241s

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]	3.620s	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]	3.753s	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]	3.860s	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]	3.829s	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]	3.597s	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]	3.845s	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]	3.737s	passed

Standard output

210563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props13988590097567835255.key 
210563     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.37ms 
210563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214127     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 
214159     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13988590097567835255.key 
214174     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
214174     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
214190     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8756762383817693281.key 
214190     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.8ns 
214190     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217880     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 
217896     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8756762383817693281.key 
217911     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
217911     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217911     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
217911     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
217911     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
217927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props13427724164589010692.key 
217927     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.3ns 
217927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221726     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 
221757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13427724164589010692.key 
221757     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
221757     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
221773     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
221788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13229272949933573671.key 
221788     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 222ns 
221788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225588     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 
225619     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13229272949933573671.key 
225619     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
225619     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
225619     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
225619     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
225619     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props3748005656884772473.key 
225619     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 799.8ns 
225635     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
229153     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
229184     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3748005656884772473.key 
229184     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
229184     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
229200     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
229216     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8643846161839154208.key 
229216     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 
229216     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232999     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 
233030     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8643846161839154208.key 
233046     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
233046     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
233046     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
233046     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
233061     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
233061     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props7596261420486872700.key 
233061     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.7ns 
233077     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236752     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 
236767     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props7596261420486872700.key 
236783     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
236783     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
236783     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
236799     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''