TestProofScriptCommand

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

tests

failures

ignored

24.592s

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.632s	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.378s	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.500s	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.502s	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.439s	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.564s	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.577s	passed

Standard output

202017     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props12509386508399072557.key 
202017     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.03ms 
202017     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
205598     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 
205629     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props12509386508399072557.key 
205629     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
205629     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
205645     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4417652683265624462.key 
205645     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns 
205645     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208976     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
209007     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4417652683265624462.key 
209007     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
209007     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
209023     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
209023     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
209023     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
209023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props5442868230184817207.key 
209023     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 941.8ns 
209038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
212462     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
212493     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5442868230184817207.key 
212493     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
212493     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
212524     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
212524     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props1385248598486524335.key 
212524     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.8ns 
212524     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
215995     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
216027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1385248598486524335.key 
216027     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
216027     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
216027     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
216027     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
216027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props9613266527954664082.key 
216027     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 821.8ns 
216042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
219419     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
219435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9613266527954664082.key 
219450     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
219450     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
219466     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
219466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10261985739310519498.key 
219466     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.1ns 
219466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
222968     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
222999     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10261985739310519498.key 
223015     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
223015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
223015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
223015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
223030     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
223093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props8399064273143794966.key 
223093     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns 
223093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226627     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
226659     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props8399064273143794966.key 
226659     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
226659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
226659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
226674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''