TestProofScriptCommand

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

tests

failures

ignored

24.671s

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.364s	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.447s	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.367s	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.986s	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.468s	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.588s	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.451s	passed

Standard output

200121     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props12030375818487824466.key 
200121     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.4ns 
200137     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203336     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
203368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props12030375818487824466.key 
203461     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
203461     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
203493     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15175645740609131484.key 
203493     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.7ns 
203493     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206894     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
206925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15175645740609131484.key 
206925     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
206925     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
206941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
206941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
206941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
206941     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4906259331065541015.key 
206941     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns 
206941     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210261     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
210293     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4906259331065541015.key 
210293     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
210293     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210308     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
210903     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14521673768764531330.key 
210903     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.5ns 
210903     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214264     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
214279     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14521673768764531330.key 
214279     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
214279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
214279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
214279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
214295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16095994276148093491.key 
214295     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.1ns 
214295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217718     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 
217749     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16095994276148093491.key 
217749     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
217749     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217765     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
217765     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12908144519583269553.key 
217765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns 
217765     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221306     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
221337     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12908144519583269553.key 
221337     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
221337     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
221353     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
221353     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
221353     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
221353     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9658838477258495959.key 
221353     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 
221353     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224754     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
224788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9658838477258495959.key 
224788     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
224788     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
224788     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
224788     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''