TestProofScriptCommand

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

tests

failures

ignored

19.668s

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.924s	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.753s	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.732s	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.775s	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.771s	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.932s	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.781s	passed

Standard output

161982     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props12446035779640563728.key 
161982     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 815.7ns 
161998     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164865     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 
164896     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props12446035779640563728.key 
164896     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
164896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
164912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11159904452391939495.key 
164912     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139ns 
164912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167638     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
167654     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11159904452391939495.key 
167654     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
167654     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
167670     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
167670     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
167670     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
167670     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2070369626385288137.key 
167670     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 691.5ns 
167670     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170356     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
170387     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2070369626385288137.key 
170387     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
170387     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
170403     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
170403     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4322984084528791115.key 
170403     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.2ns 
170403     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
173164     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
173180     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4322984084528791115.key 
173180     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
173180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
173180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
173180     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
173196     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13015077348137390871.key 
173196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 628.2ns 
173196     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175914     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
175945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13015077348137390871.key 
175945     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
175945     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
175961     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
175961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props16975599510739704480.key 
175961     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns 
175961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178837     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 
178868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props16975599510739704480.key 
178868     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
178868     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
178868     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
178868     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
178868     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
178884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9527314630722852222.key 
178884     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.9ns 
178884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181624     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
181639     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9527314630722852222.key 
181655     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
181655     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
181655     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
181655     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''