TestTermParser

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

tests
0

failures
4

ignored
0.242s

duration
100%

successful

Tests

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

Standard output

317076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317080     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 
317163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317224     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 
317299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317307     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 
317382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317384     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 
317456     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 
317527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317529     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
317530     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 
317600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
317609     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 
317700     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 
317819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317838     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 
317932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317944     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
317949     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 
318033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318039     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 
318116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318121     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 
318197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318203     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 
318274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318276     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 
318352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318355     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 
318427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318430     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 
318502     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 
318573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318574     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 
318646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318648     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 
318719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318722     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 
318793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318795     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 
318867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318870     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 
318965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318968     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 
319053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319057     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 
319148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319151     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 
319236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319239     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 
319312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319315     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 
319387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319392     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 
319465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319468     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 
319541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319544     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 
319615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319618     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 
319690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319693     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 
319765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319767     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 
319838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319843     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 
319918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319924     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 
319998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320003     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 
320075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
320075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320078     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 
320223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320229     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 
320309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320312     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 
320392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
320392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320394     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 
320465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320468     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 
320542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320545     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 
320617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320620     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 
320690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320695     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 
320767     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 
320839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320844     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 
320920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms