TestDeclParser

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

tests
0

failures
2

ignored
19.124s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.615s passed
testFunctionDecl() 1.553s passed
testGenericSortDecl1() 1.651s passed
testGenericSortDecl2() 1.623s passed
testGenericSortDecl3() 1.609s passed
testGenericSortDecl4() 1.596s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.538s passed
testHeurDecl() 1.590s passed
testPredicateDecl() 1.609s passed
testProxySortDecl() 1.544s passed
testSVDecl() 1.594s passed
testSortDecl() 1.602s passed

Standard output

403392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
405019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
406629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
408224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
409771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
409771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
411366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
412916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
414512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
414527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
416106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
417670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
419280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
420874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms