TestDeclParser

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

tests
0

failures
2

ignored
20.014s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.710s passed
testFunctionDecl() 1.630s passed
testGenericSortDecl1() 1.760s passed
testGenericSortDecl2() 1.691s passed
testGenericSortDecl3() 1.678s passed
testGenericSortDecl4() 1.752s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.658s passed
testHeurDecl() 1.576s passed
testPredicateDecl() 1.650s passed
testProxySortDecl() 1.615s passed
testSVDecl() 1.708s passed
testSortDecl() 1.586s passed

Standard output

395290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
396985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
398660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
400404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
402072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
403651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
405273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
406974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
408559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
410194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
411840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
413544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms