TestTermParser

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

tests
0

failures
4

ignored
0.151s

duration
100%

successful

Tests

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

Standard output

252228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252230     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 
252288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252333     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 
252391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252397     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 
252456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252458     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 
252517     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 
252572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252574     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
252575     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 
252629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252630     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
252631     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 
252687     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 
252742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252746     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 
252801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252803     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
252803     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 
252860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
252863     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 
252918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252920     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 
252982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252985     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 
253041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253042     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 
253099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253101     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 
253157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
253159     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 
253215     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 
253271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253272     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 
253328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253329     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 
253387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253389     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 
253445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253446     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 
253502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253505     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 
253562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253565     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 
253620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253622     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 
253689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253698     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 
253754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253765     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 
253831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253834     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 
253891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253894     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 
253950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253952     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 
254008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254010     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 
254067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254069     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 
254124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254127     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 
254183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254185     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 
254240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
254244     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 
254300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254302     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 
254359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254362     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 
254417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254419     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 
254475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254479     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 
254541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254542     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 
254603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254609     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 
254665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
254667     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 
254723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254725     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 
254781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254783     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 
254839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254843     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 
254900     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 
254956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254960     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 
255016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
255016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms