TestDeclParser

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

tests
0

failures
2

ignored
12.358s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.059s passed
testFunctionDecl() 0.975s passed
testGenericSortDecl1() 1.018s passed
testGenericSortDecl2() 1.061s passed
testGenericSortDecl3() 1.053s passed
testGenericSortDecl4() 0.966s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.056s passed
testHeurDecl() 1.061s passed
testPredicateDecl() 1.054s passed
testProxySortDecl() 0.970s passed
testSVDecl() 1.047s passed
testSortDecl() 1.037s passed

Standard output

234814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
234814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
234814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
235893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
235893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
235893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
235893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
235893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
236945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
236945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
236945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
237914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
244086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
246178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms