TestProofScriptCommand

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

tests

failures

ignored

23.200s

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.277s	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.271s	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.290s	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.278s	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.404s	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.351s	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.329s	passed

Standard output

193569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props298875435079698555.key 
193569     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 548.2ns 
193585     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196782     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
196829     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props298875435079698555.key 
196829     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
196829     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
196845     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1181399742224194532.key 
196845     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns 
196845     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200070     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
200101     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1181399742224194532.key 
200101     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
200101     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200116     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
200116     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
200116     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
200116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2352939026941772492.key 
200116     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 
200116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203360     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
203376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2352939026941772492.key 
203392     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
203392     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
203407     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
203407     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9937304629397802564.key 
203407     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.9ns 
203407     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206654     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
206686     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9937304629397802564.key 
206686     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
206686     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
206686     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
206686     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
206701     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16738804469133103496.key 
206701     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 773.3ns 
206701     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
210075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16738804469133103496.key 
210075     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
210075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210091     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
210091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props16527155200004204378.key 
210091     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns 
210091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
213426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props16527155200004204378.key 
213442     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
213442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
213442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
213442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
213442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
213442     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6742427702741364193.key 
213442     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.6ns 
213459     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
216739     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
216755     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6742427702741364193.key 
216755     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
216755     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
216771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
216771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''