TestDeclParser

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

tests
0

failures
2

ignored
15.979s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.305s passed
testFunctionDecl() 1.329s passed
testGenericSortDecl1() 1.364s passed
testGenericSortDecl2() 1.309s passed
testGenericSortDecl3() 1.331s passed
testGenericSortDecl4() 1.347s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.314s passed
testHeurDecl() 1.411s passed
testPredicateDecl() 1.338s passed
testProxySortDecl() 1.310s passed
testSVDecl() 1.313s passed
testSortDecl() 1.308s passed

Standard output

300148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
302795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
305455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
306760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
308066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
309379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
310797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
312118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
312133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
313457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
313457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
314767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms