TestProofScriptCommand

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

tests

failures

ignored

19.846s

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.790s	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.803s	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.784s	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.890s	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.914s	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.759s	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.906s	passed

Standard output

163042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1349784936068694684.key 
163058     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.49ms 
163058     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
165809     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
165824     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1349784936068694684.key 
165824     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
165824     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
165840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8924877902633457186.key 
165840     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.7ns 
165840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
168607     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
168623     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8924877902633457186.key 
168638     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
168638     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
168638     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
168638     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
168638     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
168638     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props17744526173578203880.key 
168638     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 
168654     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171391     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
171407     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17744526173578203880.key 
171407     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
171407     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
171422     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
171438     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9269443075358520955.key 
171438     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.73ms 
171438     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174283     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 
174299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9269443075358520955.key 
174299     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
174315     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
174315     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
174315     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
174315     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5631530237828317550.key 
174315     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.6ns 
174315     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
177175     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
177191     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5631530237828317550.key 
177206     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
177206     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
177222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
177222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13515111726574947725.key 
177222     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.8ns 
177237     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
179958     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
179973     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13515111726574947725.key 
179989     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
179989     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
179989     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
179989     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
179989     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
180004     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10041216093494148040.key 
180004     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 
180004     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
182865     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
182880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10041216093494148040.key 
182880     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
182896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
182896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
182896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''