TestTermParser

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

tests
0

failures
4

ignored
0.565s

duration
100%

successful

Tests

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

Standard output

368443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368443     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 
368568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368821     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 
368883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368915     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 
368978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368994     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 
369058     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 
369120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
369136     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
369136     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 
369214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369214     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
369214     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 
369308     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 
369386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369417     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 
369495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369511     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
369511     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 
369579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369595     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 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     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 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369720     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 
369801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369801     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 
369879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369879     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 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369957     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 
370035     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 
370129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370129     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 
370210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370210     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 
370272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370272     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 
370350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370366     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 
370428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370428     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 
370507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
370507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370507     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 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370632     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 
370741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370788     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 
370917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370917     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 
370980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370980     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 
371058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371058     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 
371136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371136     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 
371198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371214     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 
371292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371323     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 
371402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371417     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 
371495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371495     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 
371573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371573     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 
371652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371652     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 
371732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371732     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 
371792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
371808     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 
372141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372156     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 
372219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372219     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 
372281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372281     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 
372359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372359     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 
372438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372438     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 
372516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372516     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 
372609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372609     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 
372703     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 
372797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372859     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 
372938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms