TestProofScriptCommand

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

tests

failures

ignored

26.116s

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.684s	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.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]	3.753s	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.751s	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.734s	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.658s	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.783s	passed

Standard output

235534     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props9794800673474422020.key 
235534     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.84ms 
235534     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
239161     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 
239192     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9794800673474422020.key 
239208     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.4ns 
239208     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
239208     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4153479070266427095.key 
239223     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224ns 
239223     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
242900     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 
242931     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4153479070266427095.key 
242947     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
242947     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
242962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
242962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
242962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
242962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12402604980309993083.key 
242962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199ns 
242962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
246669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 
246700     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12402604980309993083.key 
246700     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
246700     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
246716     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
246731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15837995522603092775.key 
246731     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.4ns 
246731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
250436     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 
250452     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15837995522603092775.key 
250468     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
250468     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
250468     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
250468     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
250468     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props9991743034788106384.key 
250468     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 858.3ns 
250468     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
254143     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 
254174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9991743034788106384.key 
254191     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
254191     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
254205     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
254205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props2846303416282382383.key 
254205     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.5ns 
254205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
257816     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 
257847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2846303416282382383.key 
257847     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 
257847     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
257863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
257863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
257863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
257863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11985381946015539729.key 
257863     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.9ns 
257879     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
261584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 
261615     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11985381946015539729.key 
261615     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
261615     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
261631     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
261631     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''