TestProofScriptCommand

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

tests

failures

ignored

24.501s

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.528s	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.390s	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.562s	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.547s	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.362s	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.594s	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.518s	passed

Standard output

216352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props5645674676208718168.key 
216368     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 22.93ms 
216368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
219807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
219854     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props5645674676208718168.key 
219854     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
219854     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
219870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11510319586161428442.key 
219870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 217ns 
219870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
223215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
223246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11510319586161428442.key 
223246     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
223246     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
223262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
223262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
223262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
223262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props9043226639014146967.key 
223262     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 
223262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226763     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
226794     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9043226639014146967.key 
226810     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
226810     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
226826     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
226826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13736398810582221340.key 
226826     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.5ns 
226826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230328     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
230375     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13736398810582221340.key 
230375     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
230375     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
230375     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
230375     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
230375     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7519516280044903766.key 
230375     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 754.8ns 
230391     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
233690     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
233705     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7519516280044903766.key 
233705     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
233705     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
233721     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
233737     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10928507986495249323.key 
233737     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.1ns 
233737     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
237285     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
237300     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10928507986495249323.key 
237316     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
237316     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
237316     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
237316     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
237331     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
237331     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9811284352355197069.key 
237331     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.6ns 
237331     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
240819     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
240835     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9811284352355197069.key 
240835     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns 
240835     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
240850     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
240850     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''