TestParser

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

tests
0

failures
1

ignored
4.190s

duration
100%

successful

Tests

Test Duration Result
testConstantEvaluationError() 0.815s passed
testGenericSort() 0.002s passed
testIssue1566() 2.598s passed
testIssue39() 0.774s passed
testRelativeInclude() - ignored

Standard output

266226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java 
266226     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 
266226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
267039     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
267039     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
267039     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267039     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
267039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key 
267039     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.2ns 
267039     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\issues\1566\a.key took 0 ms to parse. 
267039     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
267054     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
267916     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. 
267916     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
269624     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
269641     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key 
269641     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
269641     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\issues\1566\a.key took 0 ms to parse. 
269641     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
269641     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java 
269641     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.5ns 
269641     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config