TestParser

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

tests
0

failures
1

ignored
5.079s

duration
100%

successful

Tests

Test Duration Result
testConstantEvaluationError() 0.972s passed
testGenericSort() 0.003s passed
testIssue1566() 3.124s passed
testIssue39() 0.980s passed
testRelativeInclude() - ignored

Standard output

310852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms 
310855     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/issues/1566/a.key 
311866     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/issues/1566/A.java 
311871     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 
313976     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
313977     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/issues/1566/a.key