TestJMLParserAssociativity

all > de.uka.ilkd.key.parser > TestJMLParserAssociativity
tests
failures
ignored
30.390s
duration
100%
successful
Tests
Standard output
Tests

Test	Duration	Result
testLeftAssociativity()	30.390s	passed
Standard output

263025     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
264064     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
264065     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
264070     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
266085     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
267078     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
267079     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
267085     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
269138     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
270148     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
270149     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
270154     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
272186     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
273157     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
273158     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
273163     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
275207     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
276161     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
276162     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
276167     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
278203     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
279163     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
279164     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
279169     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
281211     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
282217     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
282223     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
282234     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
284326     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
285355     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
285356     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
285362     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
287443     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
288448     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
288449     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
288453     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
290430     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
291399     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
291400     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
291406     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
293448     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
294422     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
294423     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
294429     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key