TestDeclParser

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

tests
0

failures
2

ignored
10.736s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.831s passed
testFunctionDecl() 0.921s passed
testGenericSortDecl1() 0.977s passed
testGenericSortDecl2() 0.883s passed
testGenericSortDecl3() 0.905s passed
testGenericSortDecl4() 0.891s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.824s passed
testHeurDecl() 0.884s passed
testPredicateDecl() 0.927s passed
testProxySortDecl() 0.965s passed
testSVDecl() 0.845s passed
testSortDecl() 0.883s passed

Standard output

216416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
216416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
216416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
217307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
217307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
217307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
218214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
218214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
218214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
219105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
219105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
219105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
219918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
219918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
219918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
220809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
220809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
220809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
220809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
220809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
221778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
221778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
221778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
221778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
221778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
222606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
222606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
222606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
222606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
222606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
223497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
223497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
223497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
223497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
224373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
224373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
224373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
224373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
224373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
225342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
225342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
225342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
225342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
225342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
226187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
226187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
226187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
226187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms