TestProofScriptCommand

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

tests

failures

ignored

18.593s

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.608s	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.648s	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.630s	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.615s	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.695s	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.693s	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.704s	passed

Standard output

154879     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1897405448786158388.key 
154879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 544.2ns 
154895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
157456     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
157472     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1897405448786158388.key 
157487     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
157487     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
157487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props31236946780122826.key 
157487     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.2ns 
157487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
160103     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 
160118     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props31236946780122826.key 
160118     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
160134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
160134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
160134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
160134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
160134     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4055009497075875293.key 
160134     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns 
160134     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
162732     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 
162748     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4055009497075875293.key 
162748     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
162748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
162764     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
162764     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props2312599601090785909.key 
162779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns 
162779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
165351     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 
165367     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props2312599601090785909.key 
165367     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
165367     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
165383     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
165383     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
165383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props12191278304209955898.key 
165383     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 915.5ns 
165383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
168036     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
168051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props12191278304209955898.key 
168051     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
168067     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
168067     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
168082     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10717728642442439868.key 
168082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.3ns 
168082     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170742     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
170758     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10717728642442439868.key 
170758     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
170773     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
170773     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
170773     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
170773     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
170773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props4940952571403207355.key 
170773     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 
170773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
173447     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
173463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4940952571403207355.key 
173463     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
173463     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
173479     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
173479     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''