TestDeclParser

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

tests
0

failures
2

ignored
12.782s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.986s passed
testFunctionDecl() 1.062s passed
testGenericSortDecl1() 1.190s passed
testGenericSortDecl2() 1.109s passed
testGenericSortDecl3() 1.018s passed
testGenericSortDecl4() 1.085s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.084s passed
testHeurDecl() 1.103s passed
testPredicateDecl() 0.967s passed
testProxySortDecl() 1.056s passed
testSVDecl() 1.077s passed
testSortDecl() 1.045s passed

Standard output

240637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
244944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
249124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
249124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
249124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
250189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
250189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
250189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
250189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
250189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
251151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
251151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
251151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
251151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
251151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
252230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
252230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
252230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms