TestDeclParser

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

tests
0

failures
2

ignored
16.097s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.327s passed
testFunctionDecl() 1.326s passed
testGenericSortDecl1() 1.408s passed
testGenericSortDecl2() 1.335s passed
testGenericSortDecl3() 1.330s passed
testGenericSortDecl4() 1.329s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.345s passed
testHeurDecl() 1.339s passed
testPredicateDecl() 1.337s passed
testProxySortDecl() 1.342s passed
testSVDecl() 1.334s passed
testSortDecl() 1.345s passed

Standard output

312959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
312960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
312961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
314295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
314296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
315627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
316955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
316956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
318302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
319648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
320989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
322317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
322318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
323657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
324983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
326320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
327654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms