TestDeclParser

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

tests
0

failures
2

ignored
14.662s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.212s passed
testFunctionDecl() 1.255s passed
testGenericSortDecl1() 1.239s passed
testGenericSortDecl2() 1.213s passed
testGenericSortDecl3() 1.212s passed
testGenericSortDecl4() 1.213s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.213s passed
testHeurDecl() 1.214s passed
testPredicateDecl() 1.258s passed
testProxySortDecl() 1.216s passed
testSVDecl() 1.204s passed
testSortDecl() 1.213s passed

Standard output

289549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
290775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
291994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
293205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
294414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
296843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
298056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
299272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
300524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
302995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms