TestProofScriptCommand

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

tests

failures

ignored

29.544s

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.220s	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.291s	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.182s	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.148s	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.212s	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.314s	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.177s	passed

Standard output

245344     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7410178158055887893.key 
245344     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 650ns 
245344     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
249517     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
249548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7410178158055887893.key 
249548     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
249548     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
249564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14276507261525794729.key 
249564     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.3ns 
249564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
253808     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 
253839     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14276507261525794729.key 
253839     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
253839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
253855     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
253855     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
253855     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
253855     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2687864074204409839.key 
253855     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.3ns 
253855     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
257991     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
258023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2687864074204409839.key 
258023     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
258023     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
258038     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
258038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7731257805483087834.key 
258038     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 
258054     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
262155     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 
262171     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7731257805483087834.key 
262171     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
262187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
262187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
262187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
262187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8439405989309114249.key 
262187     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.1ns 
262187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
266353     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
266385     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8439405989309114249.key 
266385     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
266385     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
266400     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
266400     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5505429145451727554.key 
266400     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.6ns 
266416     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
270668     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 
270700     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5505429145451727554.key 
270700     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
270700     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
270715     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
270715     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
270715     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
270715     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5642912837074211324.key 
270715     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.8ns 
270731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
274862     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
274878     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5642912837074211324.key 
274893     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
274893     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
274893     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
274893     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''