TestDeclParser

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

tests
0

failures
2

ignored
20.628s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.691s passed
testFunctionDecl() 1.732s passed
testGenericSortDecl1() 1.795s passed
testGenericSortDecl2() 1.707s passed
testGenericSortDecl3() 1.698s passed
testGenericSortDecl4() 1.691s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.692s passed
testHeurDecl() 1.691s passed
testPredicateDecl() 1.734s passed
testProxySortDecl() 1.697s passed
testSVDecl() 1.724s passed
testSortDecl() 1.776s passed

Standard output

395264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
396971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
398669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
400350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
402054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
403830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
405512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
405527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
407204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
408910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
410646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
412376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
414098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms