TestJMLParserAssociativity

all > de.uka.ilkd.key.parser > TestJMLParserAssociativity
1

tests
0

failures
0

ignored
27.250s

duration
100%

successful

Tests

Test Duration Result
testLeftAssociativity() 27.250s passed

Standard output

239698     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
239698     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 942 ms. 
240615     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 1 ms to parse. 
240615     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 943 ms. 
242382     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
242382     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 943 ms. 
243289     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 1 ms to parse. 
243289     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 944 ms. 
245124     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
245124     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 944 ms. 
245995     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 1 ms to parse. 
245995     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 945 ms. 
247825     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
247825     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 945 ms. 
248691     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. 
248691     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 947 ms. 
250483     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
250484     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 947 ms. 
251383     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 1 ms to parse. 
251383     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 948 ms. 
253191     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
253191     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 948 ms. 
254131     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 1 ms to parse. 
254131     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 949 ms. 
255936     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
255936     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 949 ms. 
256837     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 1 ms to parse. 
256837     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 950 ms. 
258688     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
258688     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 950 ms. 
259565     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 1 ms to parse. 
259565     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 951 ms. 
261432     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
261432     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 951 ms. 
262349     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 1 ms to parse. 
262349     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 952 ms. 
264194     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
264195     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 952 ms. 
265126     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 1 ms to parse. 
265127     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 953 ms. 
266918     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
266919     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 953 ms. 
267828     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 1 ms to parse. 
267829     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 954 ms.