TestParser

all > de.uka.ilkd.key.parser > TestParser

tests

failures

ignored

4.617s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testConstantEvaluationError()	0.897s	passed
testGenericSort()	0.001s	passed
testIssue1566()	2.812s	passed
testIssue39()	0.906s	passed
testRelativeInclude()	-	ignored

Standard output

282447     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
282447     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1055 ms. 
282447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282449     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/issues/1566/a.key took 0 ms to parse. 
282449     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1055 ms. 
283364     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. 
283364     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1057 ms. 
285259     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/issues/1566/a.key took 0 ms to parse. 
285259     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1057 ms.