TestDeclParser

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

tests
0

failures
2

ignored
19.599s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.601s passed
testFunctionDecl() 1.497s passed
testGenericSortDecl1() 1.695s passed
testGenericSortDecl2() 1.689s passed
testGenericSortDecl3() 1.696s passed
testGenericSortDecl4() 1.681s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.760s passed
testHeurDecl() 1.567s passed
testPredicateDecl() 1.539s passed
testProxySortDecl() 1.640s passed
testSVDecl() 1.591s passed
testSortDecl() 1.642s passed

Standard output

365434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
367123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
368820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
372262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
372262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
373905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
375544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
377145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 2 
377147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
378714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
380211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
380212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
381750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
383338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms