TestDeclParser

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

tests
0

failures
2

ignored
17.581s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.482s passed
testFunctionDecl() 1.431s passed
testGenericSortDecl1() 1.529s passed
testGenericSortDecl2() 1.472s passed
testGenericSortDecl3() 1.436s passed
testGenericSortDecl4() 1.437s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.448s passed
testHeurDecl() 1.440s passed
testPredicateDecl() 1.434s passed
testProxySortDecl() 1.542s passed
testSVDecl() 1.439s passed
testSortDecl() 1.491s passed

Standard output

346271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
347744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms 
349182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
350619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
350619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
356582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
356583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
358023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
359453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
359454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
360889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
362327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms