TestTermParser

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

tests
0

failures
4

ignored
0.219s

duration
100%

successful

Tests

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

Standard output

340474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
340474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340477     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 
340640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
340641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340723     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 
340822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340833     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 
340927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340931     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 
341024     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 
341121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
341124     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
341129     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 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341205     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
341205     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 
341277     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 
341414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341420     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 
341489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341491     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
341492     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 
341574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341577     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 
341660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341666     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 
341737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341741     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 
341811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341813     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 
341882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341883     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 
341953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341955     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 
342029     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 
342118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342120     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 
342205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342209     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 
342282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342284     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 
342358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342359     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 
342429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342431     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 
342505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342507     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 
342581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342583     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 
342658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342661     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 
342735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342739     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 
342819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342821     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 
342889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342892     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 
342973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342975     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 
343052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
343052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343054     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 
343131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
343131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343134     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 
343204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343207     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 
343286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343292     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 
343375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343380     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 
343451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343454     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 
343531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343534     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 
343611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343613     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 
343691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343695     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 
343769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343770     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 
343839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
343839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343841     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 
343910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343912     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 
343981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343984     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 
344056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
344058     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 
344143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344146     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 
344229     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 
344299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344303     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 
344374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms