TestDeclParser

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

tests
0

failures
2

ignored
20.515s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.742s passed
testFunctionDecl() 1.724s passed
testGenericSortDecl1() 1.743s passed
testGenericSortDecl2() 1.660s passed
testGenericSortDecl3() 1.675s passed
testGenericSortDecl4() 1.722s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.721s passed
testHeurDecl() 1.719s passed
testPredicateDecl() 1.644s passed
testProxySortDecl() 1.764s passed
testSVDecl() 1.733s passed
testSortDecl() 1.668s passed

Standard output

406605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
408263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
409941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
411661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
413385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
415065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
416801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 18 ms 
416819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
418551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
418566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
420280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
422001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
425388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
425388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms