TestTermParser

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

tests
0

failures
4

ignored
0.231s

duration
100%

successful

Tests

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

Standard output

333579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333594     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 
333704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333766     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 
333829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333829     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 
333908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333908     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 
333974     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 
334036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334036     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
334036     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 
334099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334114     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
334114     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 
334177     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 
334240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334255     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 
334326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334326     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
334326     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 
334400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334400     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 
334466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334466     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 
334544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334544     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 
334623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334623     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 
334701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334701     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 
334763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334763     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 
334826     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 
334888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334888     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 
334955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334970     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 
335033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335033     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 
335095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335095     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 
335174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335174     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 
335252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335252     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 
335330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335346     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 
335408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335408     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 
335471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335487     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 
335549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335549     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 
335612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335612     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 
335674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335674     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 
335737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335737     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 
335816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335831     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 
335898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335898     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 
335961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335961     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 
336023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336023     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 
336086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336101     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 
336164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336164     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 
336226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336226     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 
336289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336305     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 
336367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336367     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 
336433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336433     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 
336511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336511     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 
336574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336574     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 
336653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336653     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 
336715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336731     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 
336794     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 
336856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336872     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 
336938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms