TestTermParser

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

tests
0

failures
4

ignored
0.163s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.006s passed
test14() 0.003s passed
test1a() 0.002s passed
test2() 0.001s passed
test3() 0.002s passed
test5() 0.001s passed
test6() 0.001s passed
test7() 0.001s passed
test8() 0.001s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.011s passed
testBindingUpdateTerm() 0.001s passed
testBindingUpdateTerm_1() 0.001s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.006s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.001s passed
testBindingUpdateTerm_8() 0.001s passed
testCast() 0.002s passed
testIfThenElse() 0.003s passed
testInfix1() 0.001s 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.002s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.002s passed
testJavaStaticQueryWithParameter() 0.022s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.011s passed
testProgramVariables() 0.042s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

287376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287376     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 
287440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287475     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 
287538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
287538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287538     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 
287602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287602     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 
287648     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 
287695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287695     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
287695     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 
287758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287758     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
287758     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 
287805     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 
287852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287867     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 
287923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287923     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
287923     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 
287969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287969     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 
288032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288032     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 
288079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288094     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 
288145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288145     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 
288192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288192     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 
288254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288254     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 
288301     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 
288348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288348     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 
288411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288411     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 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     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 
288520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288520     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 
288567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288567     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 
288631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288631     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 
288678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288678     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 
288734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288734     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 
288797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288797     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 
288844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288844     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 
288891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288906     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 
288953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288953     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 
289000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289000     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 
289063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289063     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 
289109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289125     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 
289172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289172     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 
289234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289234     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 
289281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289297     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 
289348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289348     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 
289395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289395     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 
289457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289457     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 
289504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289520     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 
289567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289567     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 
289629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289629     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 
289676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289676     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 
289738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289738     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 
289785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289785     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 
289832     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 
289895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289911     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 
289973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms