TestDeclParser

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

tests
0

failures
2

ignored
13.256s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.122s passed
testFunctionDecl() 1.124s passed
testGenericSortDecl1() 1.233s passed
testGenericSortDecl2() 1.142s passed
testGenericSortDecl3() 1.102s passed
testGenericSortDecl4() 1.038s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.102s passed
testHeurDecl() 1.114s passed
testPredicateDecl() 1.027s passed
testProxySortDecl() 1.023s passed
testSVDecl() 1.118s passed
testSortDecl() 1.111s passed

Standard output

250737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
250737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
250737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
250737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
250737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
251879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
251879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
251879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
251879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
251879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
252989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
252989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
252989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
254020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
254020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
254020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
255130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
255130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
255130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
256241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
256241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
256241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
257257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
257257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
257257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
258382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
258382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
258382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
259508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
259508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
259509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
260602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
260602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
260618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms