TestProofScriptCommand

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

tests

failures

ignored

25.537s

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.584s	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.581s	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.798s	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.581s	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.721s	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.596s	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.676s	passed

Standard output

211786     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1527421885359118102.key 
211786     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.77ms 
211801     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
215318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
215349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1527421885359118102.key 
215349     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
215349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
215365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16655314207987803632.key 
215365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.4ns 
215365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218914     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
218930     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16655314207987803632.key 
218946     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
218946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
218946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
218946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
218946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
218961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12677637793639904412.key 
218961     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.2ns 
218961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
222620     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 
222713     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12677637793639904412.key 
222713     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
222729     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
222745     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
222745     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props5281871568665039848.key 
222745     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns 
222745     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226296     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 
226327     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props5281871568665039848.key 
226327     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.1ns 
226327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
226327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
226327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
226343     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13430018837466205867.key 
226343     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 
226343     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
229985     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
230017     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13430018837466205867.key 
230032     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
230032     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230048     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
230048     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1720727290382000271.key 
230048     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns 
230048     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
233597     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
233628     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1720727290382000271.key 
233628     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.2ns 
233628     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
233644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
233644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
233644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
233660     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5977519207826101796.key 
233660     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns 
233660     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
237273     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
237305     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5977519207826101796.key 
237305     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
237305     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
237320     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
237320     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''