TestJMLParserAssociativity

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

tests
0

failures
0

ignored
25.367s

duration
100%

successful

Tests

Test Duration Result
testLeftAssociativity() 25.367s passed

Standard output

227454     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
227454     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
228282     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. 
228282     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
229981     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
229981     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
230811     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. 
230811     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
232532     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
232532     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
233360     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. 
233360     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
235063     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
235063     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
235882     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. 
235882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
237582     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
237582     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
238411     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. 
238411     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
240113     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
240113     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
240957     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. 
240957     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
242666     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
242666     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
243494     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. 
243494     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
245210     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
245210     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
246037     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. 
246037     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
247744     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
247744     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
248573     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. 
248573     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
250283     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
250283     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
251111     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. 
251111     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
252816     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
252816     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
253653     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. 
253653     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1062 ms.