TestDeclParser

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

tests
0

failures
2

ignored
16.753s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.371s passed
testFunctionDecl() 1.395s passed
testGenericSortDecl1() 1.541s passed
testGenericSortDecl2() 1.402s passed
testGenericSortDecl3() 1.419s passed
testGenericSortDecl4() 1.402s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.402s passed
testHeurDecl() 1.344s passed
testPredicateDecl() 1.444s passed
testProxySortDecl() 1.307s passed
testSVDecl() 1.393s passed
testSortDecl() 1.333s passed

Standard output

320143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
321540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
322968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
324367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
325769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
327109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
328411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
329777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
331130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
332522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
333971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
335354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms