TestProofScriptCommand

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

tests

failures

ignored

25.851s

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.622s	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.611s	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.719s	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.657s	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.750s	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.817s	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.675s	passed

Standard output

219734     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16323697003996482599.key 
219734     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.32ms 
219734     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
223297     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 
223344     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16323697003996482599.key 
223344     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
223344     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
223359     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props7116491308751954863.key 
223359     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.4ns 
223359     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226908     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 
226940     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7116491308751954863.key 
226955     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
226955     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
226955     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
226971     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
226971     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
226971     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props5879655174264833910.key 
226971     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177ns 
226971     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230629     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 
230660     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5879655174264833910.key 
230660     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
230676     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230691     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
230691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12020981580638756480.key 
230691     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.2ns 
230691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
234318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
234349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12020981580638756480.key 
234349     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
234349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
234349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
234349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
234365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props14760930420506557085.key 
234365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms 
234365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
238038     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 
238085     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14760930420506557085.key 
238085     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
238085     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
238100     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
238100     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9627914601466070531.key 
238100     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.3ns 
238116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
241870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 
241901     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9627914601466070531.key 
241901     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
241901     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
241917     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
241917     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
241917     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
241917     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props16424312702121991989.key 
241917     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.7ns 
241932     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
245545     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
245576     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props16424312702121991989.key 
245576     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
245576     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
245576     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
245576     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''