TestTermParser

all > de.uka.ilkd.key.parser > TestTermParser
47

tests
0

failures
4

ignored
0.222s

duration
100%

successful

Tests

Test Duration Result
test1() 0.003s passed
test10() 0.004s passed
test11() 0.008s passed
test12() - ignored
test13() 0.008s passed
test14() 0.003s passed
test1a() 0.002s passed
test2() 0.001s passed
test3() 0.003s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.002s passed
testAttributeOnObject() 0.005s passed
testAttributeWithSpecifiedSortOnObject() 0.006s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.004s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.003s passed
testCast() 0.004s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.003s passed
testInfix3() 0.003s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.006s passed
testJavaAttributeAccessBoth_3() 0.004s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.005s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.002s passed
testParsingArray() 0.025s passed
testParsingArrayCombination() 0.016s passed
testProgramVariables() 0.054s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

353317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353333     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353443     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353521     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353599     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353662     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353740     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
353740     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353802     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
353818     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353896     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
353974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353974     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354052     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
354052     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354130     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354208     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354287     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354428     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354521     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354600     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354678     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354741     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354819     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354897     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
354959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354959     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355038     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355116     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355178     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355256     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355334     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355398     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355475     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355553     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355616     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355694     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355772     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355835     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355913     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
355975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355975     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356053     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356116     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
356194     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356256     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356335     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356413     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356491     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
356585     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356679     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356757     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356835     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
356898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms