TestTermParser

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

tests
0

failures
4

ignored
0.189s

duration
100%

successful

Tests

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

Standard output

306058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306060     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     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306220     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 
306308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306314     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 
306406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306410     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 
306501     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 
306589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306592     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
306594     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 
306681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306683     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
306685     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 
306774     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 
306862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306868     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 
306957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306960     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
306962     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 
307055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307058     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 
307145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307148     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 
307237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307240     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 
307329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307330     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 
307420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307423     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 
307511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307514     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 
307603     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 
307693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307694     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 
307788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307790     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 
307885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307886     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 
307974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307975     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 
308063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308065     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 
308152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308154     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 
308242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308243     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 
308331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308333     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 
308421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308423     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 
308510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308512     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 
308600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308602     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 
308691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308693     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 
308780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308782     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 
308869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308871     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 
308959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308961     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 
309049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309051     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 
309139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309142     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 
309230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309233     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 
309321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309323     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 
309411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309412     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 
309500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309506     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 
309594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309595     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 
309684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309689     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 
309780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309784     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 
309875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309877     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 
309964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309970     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 
310061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310065     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 
310155     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 
310243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310247     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 
310336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms