TestProofScriptCommand

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

tests

failures

ignored

24.778s

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.450s	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.512s	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.529s	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.604s	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.494s	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.698s	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.491s	passed

Standard output

215357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props17930059528663460366.key 
215357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 613.3ns 
215372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218766     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
218797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17930059528663460366.key 
218797     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
218797     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
218813     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13646835301242065332.key 
218813     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 712.3ns 
218829     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
222279     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
222310     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13646835301242065332.key 
222310     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
222310     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
222326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
222326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
222326     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
222326     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props8620110147852231565.key 
222326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199ns 
222342     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225809     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
225840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props8620110147852231565.key 
225840     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
225840     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
225856     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
225871     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props11019307370408078593.key 
225871     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.4ns 
225871     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
229430     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 
229446     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11019307370408078593.key 
229446     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
229446     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
229461     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
229461     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
229461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13258430071454311461.key 
229461     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms 
229461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232910     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
232926     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13258430071454311461.key 
232941     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
232941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
232957     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
233051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13434812043951811185.key 
233051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.4ns 
233066     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236701     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
236732     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13434812043951811185.key 
236732     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
236732     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
236748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
236748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
236748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
236748     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5420338854091530417.key 
236748     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.3ns 
236763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
240193     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
240224     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5420338854091530417.key 
240224     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
240224     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
240240     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
240240     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''