TestDeclParser

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

tests
0

failures
2

ignored
12.460s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.035s passed
testFunctionDecl() 1.001s passed
testGenericSortDecl1() 1.116s passed
testGenericSortDecl2() 1.108s passed
testGenericSortDecl3() 1.117s passed
testGenericSortDecl4() 0.966s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.035s passed
testHeurDecl() 1.037s passed
testPredicateDecl() 0.962s passed
testProxySortDecl() 0.991s passed
testSVDecl() 1.068s passed
testSortDecl() 1.024s passed

Standard output

237311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
237312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
239536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
239537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
239537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
241539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
243554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
244589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
245626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
246627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
247589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms