TestProofScriptCommand

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

tests
0

failures
0

ignored
18.222s

duration
100%

successful

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.521s 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.521s 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.616s 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.544s 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.715s 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.589s 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.716s passed

Standard output

155473     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18384252315051522247.key 
155473     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.7ns 
155473     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18384252315051522247.key took 0 ms to parse. 
155473     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
155473     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
156250     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
156250     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
157941     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 
157972     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18384252315051522247.key 
157972     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
157972     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18384252315051522247.key took 0 ms to parse. 
157972     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
157972     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
157988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15604705662601327453.key 
157988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.9ns 
157988     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15604705662601327453.key took 0 ms to parse. 
157988     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
157988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
158804     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
158804     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
160476     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 
160492     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15604705662601327453.key 
160492     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
160492     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15604705662601327453.key took 0 ms to parse. 
160492     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
160508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
160508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
160508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
160508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
160508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10627796127518739399.key 
160508     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.7ns 
160508     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10627796127518739399.key took 0 ms to parse. 
160508     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
160523     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
161333     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
161333     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
163089     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
163105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10627796127518739399.key 
163105     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
163105     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10627796127518739399.key took 0 ms to parse. 
163105     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
163105     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
163120     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
163136     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16040847224735412183.key 
163136     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns 
163136     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16040847224735412183.key took 0 ms to parse. 
163136     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
163136     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
163902     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
163902     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
165640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
165655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16040847224735412183.key 
165671     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
165671     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16040847224735412183.key took 0 ms to parse. 
165671     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
165671     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
165671     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
165671     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
165671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7241718649425287811.key 
165671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.2ms 
165671     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7241718649425287811.key took 0 ms to parse. 
165671     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
165671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
166504     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
166504     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
168348     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
168364     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7241718649425287811.key 
168364     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
168364     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7241718649425287811.key took 0 ms to parse. 
168364     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
168364     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
168379     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
168395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props892037181705213677.key 
168395     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 
168395     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props892037181705213677.key took 0 ms to parse. 
168395     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
168395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
169177     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
169177     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
170930     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 
170945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props892037181705213677.key 
170961     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
170961     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props892037181705213677.key took 0 ms to parse. 
170961     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
170961     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
170977     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
170977     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
170977     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
170977     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6500783371845981296.key 
170977     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.4ns 
170977     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6500783371845981296.key took 0 ms to parse. 
170977     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
170977     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171759     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
171759     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
173659     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
173675     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6500783371845981296.key 
173675     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
173675     WARN  Test worker     d.u.i.k.n.ParsingFacade   C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6500783371845981296.key took 0 ms to parse. 
173675     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 532 ms. 
173675     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
173690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
173690     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''