TestTermParser

47

tests

0

failures

4

ignored

0.197s

duration

100%

successful

Tests

Test Duration Result
test1() 0.003s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.007s passed
test14() 0.004s passed
test1a() 0.003s passed
test2() 0.017s passed
test3() 0.003s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.008s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.003s passed
testBindingUpdateTerm_3() 0.005s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.003s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.004s passed
testInfix4() 0.003s passed
testJavaAttributeAccessBoth_1() 0.004s 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.010s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.057s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

356460     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[...] 
356664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356664     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[...] 
356679     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 
356742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356742     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
356789     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[...] 
356789     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 
356867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356867     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[...] 
356867     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 
356938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356938     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[...] 
356938     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 
357001     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[...] 
357017     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 
357079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357079     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
357079     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[...] 
357079     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 
357142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357142     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
357142     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[...] 
357157     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 
357220     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[...] 
357220     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 
357298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357298     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[...] 
357298     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 
357376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357376     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
357376     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[...] 
357376     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 
357439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357449     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[...] 
357449     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 
357501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357517     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[...] 
357517     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 
357579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357579     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[...] 
357579     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 
357642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357642     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[...] 
357642     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 
357720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357720     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[...] 
357720     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 
357783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357783     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[...] 
357783     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 
357861     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[...] 
357861     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 
357923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357923     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[...] 
357923     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 
357986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357986     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[...] 
357986     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 
358048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358064     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[...] 
358064     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 
358126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358142     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[...] 
358142     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 
358204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358204     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[...] 
358204     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 
358267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358267     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[...] 
358267     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 
358330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358330     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[...] 
358330     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 
358392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358392     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[...] 
358392     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 
358455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358455     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[...] 
358455     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 
358517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358533     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[...] 
358533     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 
358580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358595     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[...] 
358595     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 
358642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358659     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[...] 
358659     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 
358705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358721     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[...] 
358721     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 
358768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358783     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[...] 
358783     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 
358846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358846     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[...] 
358846     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 
358908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358908     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[...] 
358908     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 
358971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358971     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[...] 
358971     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 
359033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359033     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[...] 
359033     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 
359096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359112     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[...] 
359112     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 
359159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359174     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
359174     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
359174     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[...] 
359174     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 
359237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359237     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)) 
359237     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)) 
359237     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[...] 
359237     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 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
359346     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
359346     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[...] 
359346     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 
359411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359411     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
359411     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
359411     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[...] 
359411     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 
359473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359473     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
359473     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
359473     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[...] 
359473     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 
359551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359551     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
359551     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
359551     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[...] 
359551     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 
359630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359630     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
359630     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
359630     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[...] 
359630     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 
359692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359692     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[...] 
359692     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 
359755     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[...] 
359755     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 
359817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359833     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[...] 
359833     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 
359895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0