TestTermParser

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

tests
0

failures
4

ignored
0.173s

duration
100%

successful

Tests

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

Standard output

333789     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
333942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 5 ms 
333942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333944     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
333944     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     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334038     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
334092     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334094     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 
334165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334170     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334170     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 
334239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334244     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334245     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 
334314     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334314     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 
334384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334387     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
334388     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334388     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 
334460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334461     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
334462     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334463     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 
334532     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334532     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 
334602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334614     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334615     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 
334702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334704     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
334705     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334705     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 
334774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334776     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334776     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 
334842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
334847     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334848     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 
334918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334921     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334921     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 
334991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334991     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
334992     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 
335063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335065     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335065     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 
335134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335135     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335136     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 
335204     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335205     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 
335273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
335273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335273     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335274     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 
335342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335343     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335343     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 
335412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335413     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335414     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 
335483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335484     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335485     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 
335554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335556     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335557     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 
335622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
335623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335624     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335625     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 
335692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
335693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335694     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335695     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 
335760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335761     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335762     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 
335829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
335831     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
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     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335900     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335900     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 
335965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335968     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
335968     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 
336032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336034     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336034     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 
336098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336099     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336100     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 
336163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336165     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336165     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 
336231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336234     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336234     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 
336299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336300     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336301     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 
336363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336365     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336365     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 
336436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336439     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336439     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 
336505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336507     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336507     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 
336570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336572     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
336572     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
336572     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336572     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 
336639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336642     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: all{l:int}(and(\<{
  int globalIntPV = 0;
}\> (update-application(elem-update(globalIntPV)(l),false)),true)) 
336642     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: all{l:int}(and(\<{
  int globalIntPV = 0;
}\> (update-application(elem-update(globalIntPV)(l),false)),true)) 
336643     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336643     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 
336705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336706     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
336706     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
336706     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336707     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 
336768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336769     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
336769     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
336769     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336770     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 
336834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336835     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
336835     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
336835     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336836     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 
336901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336902     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
336902     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
336902     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336903     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 
336967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336968     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
336968     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
336968     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
336969     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 
337038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337045     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
337046     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 
337118     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
337119     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 
337192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
337196     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...] 
337197     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 
337266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0