TestDeclParser

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

tests
0

failures
2

ignored
14.198s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.170s passed
testFunctionDecl() 1.178s passed
testGenericSortDecl1() 1.304s passed
testGenericSortDecl2() 1.173s passed
testGenericSortDecl3() 1.168s passed
testGenericSortDecl4() 1.157s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.159s passed
testHeurDecl() 1.180s passed
testPredicateDecl() 1.192s passed
testProxySortDecl() 1.165s passed
testSVDecl() 1.188s passed
testSortDecl() 1.164s passed

Standard output

284827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
287172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
290657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
292985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
294158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
295347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
296535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
297723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms