TestDeclParser

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

tests
0

failures
2

ignored
20.826s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.777s passed
testFunctionDecl() 1.651s passed
testGenericSortDecl1() 1.949s passed
testGenericSortDecl2() 1.766s passed
testGenericSortDecl3() 1.744s passed
testGenericSortDecl4() 1.753s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.725s passed
testHeurDecl() 1.674s passed
testPredicateDecl() 1.649s passed
testProxySortDecl() 1.726s passed
testSVDecl() 1.672s passed
testSortDecl() 1.739s passed

Standard output

383631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
385386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
387141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
388893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
392350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
395857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
399191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
400840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
402507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms