TestDeclParser

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

tests
0

failures
2

ignored
20.062s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.692s passed
testFunctionDecl() 1.644s passed
testGenericSortDecl1() 1.716s passed
testGenericSortDecl2() 1.654s passed
testGenericSortDecl3() 1.698s passed
testGenericSortDecl4() 1.597s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.631s passed
testHeurDecl() 1.717s passed
testPredicateDecl() 1.708s passed
testProxySortDecl() 1.680s passed
testSVDecl() 1.683s passed
testSortDecl() 1.642s passed

Standard output

388262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
389923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
391614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
393217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
396485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
398166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
399848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
399864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
401576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
403209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
404927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
404928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
406603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms