TestDeclParser

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

tests
0

failures
2

ignored
18.284s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.509s passed
testFunctionDecl() 1.523s passed
testGenericSortDecl1() 1.510s passed
testGenericSortDecl2() 1.535s passed
testGenericSortDecl3() 1.591s passed
testGenericSortDecl4() 1.506s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.526s passed
testHeurDecl() 1.540s passed
testPredicateDecl() 1.524s passed
testProxySortDecl() 1.509s passed
testSVDecl() 1.486s passed
testSortDecl() 1.524s passed

Standard output

377008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
378540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
380135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
383152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
383168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
384685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
386201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
387718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
389251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
390783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
392299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
393785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms