TestTermParser

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

tests
0

failures
4

ignored
0.293s

duration
100%

successful

Tests

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

Standard output

295229     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[...] 
295285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295285     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[...] 
295285     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 
295351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295351     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
295398     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[...] 
295398     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 
295476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295476     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[...] 
295476     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 
295539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295539     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[...] 
295539     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 
295605     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[...] 
295605     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 
295683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
295683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295683     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
295683     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[...] 
295683     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 
295746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295746     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
295746     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[...] 
295746     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 
295808     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[...] 
295808     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 
295879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295879     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[...] 
295879     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 
295957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295957     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
295957     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[...] 
295957     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 
296019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296019     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[...] 
296019     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 
296091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296091     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[...] 
296091     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 
296163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296163     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[...] 
296163     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 
296226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296241     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[...] 
296241     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 
296304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296304     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[...] 
296304     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 
296366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296366     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[...] 
296366     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 
296444     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[...] 
296444     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 
296507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296507     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[...] 
296507     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 
296569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
296585     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296585     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[...] 
296585     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 
296648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296648     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[...] 
296648     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 
296710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296710     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[...] 
296710     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 
296773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296773     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[...] 
296773     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 
296835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296835     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[...] 
296835     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 
296898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296898     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[...] 
296898     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 
296960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296976     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[...] 
296976     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 
297038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297038     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[...] 
297038     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 
297105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297105     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[...] 
297105     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 
297167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297167     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[...] 
297167     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 
297245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297245     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[...] 
297245     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 
297308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297323     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[...] 
297323     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 
297389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297389     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[...] 
297389     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 
297452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297452     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[...] 
297452     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 
297530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297530     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[...] 
297530     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 
297592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297610     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[...] 
297610     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 
297670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297670     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[...] 
297670     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 
297733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297733     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[...] 
297749     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 
297811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297811     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
297811     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
297811     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[...] 
297827     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 
297893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297893     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)) 
297893     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)) 
297893     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[...] 
297893     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 
297955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297955     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
297955     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
297971     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[...] 
297971     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 
298033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298033     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
298033     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
298033     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[...] 
298033     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 
298096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298112     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
298112     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
298112     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[...] 
298112     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 
298174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298174     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
298174     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
298174     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[...] 
298174     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 
298237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298237     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
298237     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
298237     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[...] 
298237     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 
298315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298315     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[...] 
298315     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 
298377     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[...] 
298377     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 
298440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298518     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[...] 
298518     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 
298596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
298596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0