TestDeclParser

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

tests
0

failures
2

ignored
12.658s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.962s passed
testFunctionDecl() 1.016s passed
testGenericSortDecl1() 1.142s passed
testGenericSortDecl2() 1.188s passed
testGenericSortDecl3() 1.102s passed
testGenericSortDecl4() 1.002s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.066s passed
testHeurDecl() 1.016s passed
testPredicateDecl() 0.962s passed
testProxySortDecl() 1.065s passed
testSVDecl() 1.071s passed
testSortDecl() 1.066s passed

Standard output

236657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
236658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
236659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
237845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
238950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
239951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
239952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
239952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
243149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
244110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 3 
244110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
245126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
246142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms