TestTermParser

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

tests
0

failures
4

ignored
0.230s

duration
100%

successful

Tests

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

Standard output

305612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305627     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 
305694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305741     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 
305813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305828     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 
305882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305882     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 
305960     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 
306026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306026     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
306026     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 
306089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306089     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
306089     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 
306151     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 
306214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306229     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 
306296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306296     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
306296     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 
306359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306359     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 
306437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306437     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 
306503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306503     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 
306566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306566     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 
306629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306629     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 
306691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306691     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 
306820     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 
306870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306870     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 
306940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306940     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 
307002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307002     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 
307065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307065     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 
307127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307127     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 
307190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307190     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 
307252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307252     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 
307315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307331     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 
307384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307384     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 
307462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307462     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 
307530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307530     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 
307592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307592     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 
307655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307655     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 
307718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307718     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 
307780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307780     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 
307843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307843     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 
307905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307905     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 
307977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307977     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 
308040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308055     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 
308102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308118     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 
308180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308196     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 
308258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308258     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 
308321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308321     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 
308393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308393     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 
308464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308464     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 
308527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308527     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 
308589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308605     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 
308668     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 
308730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308746     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 
308808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms