TestProofScriptCommand

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

tests

failures

ignored

19.195s

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.687s	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.681s	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.740s	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.697s	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.855s	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.741s	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.794s	passed

Standard output

159290     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15617041377558800617.key 
159290     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.74ms 
159290     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
161932     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
161963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15617041377558800617.key 
161963     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
161963     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
161978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3128890521533846164.key 
161978     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.1ns 
161978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164622     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
164638     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3128890521533846164.key 
164653     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
164653     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
164653     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
164653     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
164653     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
164653     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props14143106298555704730.key 
164653     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.1ns 
164669     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
167373     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props14143106298555704730.key 
167388     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
167388     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
167404     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
167404     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12289424336160055541.key 
167404     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.1ns 
167404     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170077     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
170093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12289424336160055541.key 
170093     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
170093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
170093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
170093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
170108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8233512117048764202.key 
170108     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 690.6ns 
170108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172908     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
172939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8233512117048764202.key 
172939     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
172939     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
172955     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
172955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9205786925156052740.key 
172955     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.7ns 
172955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175643     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
175674     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9205786925156052740.key 
175674     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
175674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
175690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
175690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
175690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
175690     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5749605685559111698.key 
175690     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.2ns 
175706     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178457     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
178472     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5749605685559111698.key 
178472     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
178472     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
178488     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
178488     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''