TestDeclParser

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

tests
0

failures
2

ignored
14.336s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.220s passed
testFunctionDecl() 1.235s passed
testGenericSortDecl1() 1.239s passed
testGenericSortDecl2() 1.139s passed
testGenericSortDecl3() 1.229s passed
testGenericSortDecl4() 1.227s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.213s passed
testHeurDecl() 1.155s passed
testPredicateDecl() 1.188s passed
testProxySortDecl() 1.227s passed
testSVDecl() 1.141s passed
testSortDecl() 1.123s passed

Standard output

280254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
282631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
286195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
287414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
292214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
293355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms