TestDeclParser

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

tests
0

failures
2

ignored
20.917s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.754s passed
testFunctionDecl() 1.722s passed
testGenericSortDecl1() 1.872s passed
testGenericSortDecl2() 1.731s passed
testGenericSortDecl3() 1.786s passed
testGenericSortDecl4() 1.671s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.729s passed
testHeurDecl() 1.768s passed
testPredicateDecl() 1.734s passed
testProxySortDecl() 1.711s passed
testSVDecl() 1.683s passed
testSortDecl() 1.756s passed

Standard output

393397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
395131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
396914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
398574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
400316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
402082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
403768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
405538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
407308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
409035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
410765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
412450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms