TestDeclParser

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

tests
0

failures
2

ignored
13.792s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.134s passed
testFunctionDecl() 1.149s passed
testGenericSortDecl1() 1.303s passed
testGenericSortDecl2() 1.174s passed
testGenericSortDecl3() 1.147s passed
testGenericSortDecl4() 1.135s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.076s passed
testHeurDecl() 1.045s passed
testPredicateDecl() 1.163s passed
testProxySortDecl() 1.138s passed
testSVDecl() 1.178s passed
testSortDecl() 1.149s passed

Standard output

280125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
282455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
284675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
286959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
290288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
292618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms