TestParser

5

tests

0

failures

1

ignored

5.614s

duration

100%

successful

Tests

Test Duration Result
testConstantEvaluationError() 1.110s passed
testGenericSort() 0.002s passed
testIssue1566() 3.450s passed
testIssue39() 1.050s passed
testRelativeInclude() - ignored

Standard output

334679     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java 
334679     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.7ns 
334680     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
335789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
335789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms 
335791     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key 
335791     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.1ns 
335792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339217     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 
339236     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key 
339238     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
339240     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java 
339240     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns 
339240     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config