RewriteTest

all > de.uka.ilkd.key.macros.scripts.meta > RewriteTest
2

tests
0

failures
0

ignored
5.436s

duration
100%

successful

Tests

Test Duration Result
testLessTransitive() 2.722s passed
testTransitive() 2.714s passed

Standard output

183471     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/scriptCommands/less_trans.key took 0 ms to parse. 
183471     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 672 ms. 
184288     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
184288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 674 ms. 
186184     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/scriptCommands/less_trans.key took 0 ms to parse. 
186184     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 674 ms. 
186193     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/scriptCommands/transitive.key took 0 ms to parse. 
186193     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 674 ms. 
187081     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 3 ms to parse. 
187081     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 677 ms. 
188900     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/scriptCommands/transitive.key took 0 ms to parse. 
188900     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 677 ms.