TestTermParser

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

tests
0

failures
4

ignored
0.248s

duration
100%

successful

Tests

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

Standard output

351945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351945     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 
352038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352117     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 
352210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352226     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 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352335     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 
352413     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 
352508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352523     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
352523     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 
352601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352617     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
352617     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 
352711     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 
352804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352804     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 
352914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352914     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
352914     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 
353008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353008     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 
353102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353102     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 
353195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353195     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 
353289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353289     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 
353383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353383     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 
353478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353478     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 
353571     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 
353665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353665     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 
353759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353759     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 
353837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353853     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 
353946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353946     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 
354056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354056     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 
354165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354165     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 
354259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354259     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 
354368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354368     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 
354478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354478     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 
354587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354587     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 
354681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354681     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 
354775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354790     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 
354884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354884     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 
354994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354994     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 
355087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355087     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 
355181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355197     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 
355291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355291     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 
355384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355384     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 
355494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355494     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 
355588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
355604     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 
355697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355697     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 
355791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355807     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 
355885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355885     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 
355995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355995     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 
356089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356089     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 
356182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356182     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 
356276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356276     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 
356370     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 
356464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356464     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 
356558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms