TestProofScriptCommand

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

tests

failures

ignored

19.333s

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.682s	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.767s	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.734s	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.737s	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.802s	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.803s	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.808s	passed

Standard output

161921     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props13101106088326666276.key 
161921     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.6ns 
161921     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164566     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
164597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13101106088326666276.key 
164597     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
164597     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
164597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2478088010385937545.key 
164597     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.4ns 
164597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167337     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
167352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2478088010385937545.key 
167352     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
167352     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
167368     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
167368     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
167368     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
167368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props16338692533233883935.key 
167368     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.3ns 
167368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170067     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
170082     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props16338692533233883935.key 
170082     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
170082     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
170098     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
170098     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13799711378617817206.key 
170098     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.1ns 
170113     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172811     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
172826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13799711378617817206.key 
172826     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
172842     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
172842     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
172842     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
172842     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props14362921772460663649.key 
172842     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 626.9ns 
172842     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175597     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
175629     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14362921772460663649.key 
175629     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
175629     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
175644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
175644     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1118172954177664139.key 
175644     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns 
175644     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178418     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
178449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1118172954177664139.key 
178449     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
178449     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
178449     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
178449     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
178449     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
178465     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props17549277398286514067.key 
178465     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.6ns 
178465     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
181253     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17549277398286514067.key 
181253     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
181253     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
181253     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
181253     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''