TestParser

5

tests

0

failures

1

ignored

4.561s

duration

100%

successful

Tests

Test Duration Result
testConstantEvaluationError() 0.905s passed
testGenericSort() 0.002s passed
testIssue1566() 2.782s passed
testIssue39() 0.870s passed
testRelativeInclude() - ignored

Standard output

278751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java 
278751     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.6ns 
278751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
279657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
279657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key 
279657     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 332ns 
279657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
282424     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
282440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key 
282440     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
282456     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java 
282456     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns 
282456     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config