TestDeclParser

all > de.uka.ilkd.key.parser > TestDeclParser
14

tests
0

failures
2

ignored
10.540s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.935s passed
testFunctionDecl() 0.896s passed
testGenericSortDecl1() 0.979s passed
testGenericSortDecl2() 0.808s passed
testGenericSortDecl3() 0.867s passed
testGenericSortDecl4() 0.874s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.795s passed
testHeurDecl() 0.861s passed
testPredicateDecl() 0.882s passed
testProxySortDecl() 0.912s passed
testSVDecl() 0.838s passed
testSortDecl() 0.893s passed

Standard output

202506     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
202506     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 925 ms. 
202506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
202506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
203315     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 1 ms to parse. 
203315     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
203315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
203315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
204181     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
204181     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
204181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
204182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
205055     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
205055     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
205055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
205056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
205850     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
205850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
205850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
205851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
206744     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
206744     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
206744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
206744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
207656     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
207656     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
207656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
207657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
208592     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
208592     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
208592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
208592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209455     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
209455     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
209455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210350     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
210351     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
210351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
210351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
211233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
211233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212071     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
212071     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 926 ms. 
212071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms