TestTermParser

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

tests
0

failures
4

ignored
0.247s

duration
100%

successful

Tests

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

Standard output

276066     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[...] 
276140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276140     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[...] 
276140     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 
276203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276218     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
276265     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[...] 
276265     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 
276328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276343     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[...] 
276343     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 
276401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276401     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[...] 
276401     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 
276463     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[...] 
276463     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 
276526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276526     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
276526     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[...] 
276526     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 
276589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276589     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
276589     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[...] 
276589     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 
276644     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[...] 
276644     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 
276706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276706     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[...] 
276722     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 
276784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276784     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
276784     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[...] 
276784     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 
276847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276847     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[...] 
276847     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 
276915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276915     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[...] 
276915     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 
276979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276979     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[...] 
276979     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 
277041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277041     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[...] 
277041     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 
277103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277103     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[...] 
277103     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 
277166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277166     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[...] 
277166     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 
277228     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[...] 
277228     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 
277291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277291     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[...] 
277291     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 
277353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277353     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[...] 
277353     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 
277416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277416     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[...] 
277416     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 
277478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277478     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[...] 
277478     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 
277525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277541     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[...] 
277541     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 
277588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
277603     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[...] 
277603     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 
277660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277660     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[...] 
277660     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 
277722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277722     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[...] 
277722     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 
277801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277801     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[...] 
277801     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 
277863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277863     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[...] 
277863     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 
277926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277926     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[...] 
277926     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 
277985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277985     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[...] 
277985     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 
278047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278047     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[...] 
278047     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 
278110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278110     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[...] 
278125     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 
278172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278172     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[...] 
278172     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 
278235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278235     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[...] 
278235     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 
278297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278297     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[...] 
278297     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 
278360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278375     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[...] 
278375     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 
278438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278438     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[...] 
278438     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 
278520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278535     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
278535     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
278535     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[...] 
278535     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 
278598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278598     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)) 
278614     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)) 
278614     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[...] 
278614     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 
278676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278676     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
278676     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
278676     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[...] 
278676     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 
278739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278739     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
278739     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
278739     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[...] 
278739     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 
278801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278801     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
278801     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
278801     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[...] 
278801     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 
278864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278864     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
278864     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
278864     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[...] 
278879     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 
278926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278926     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
278942     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
278942     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[...] 
278942     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 
278989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279005     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[...] 
279005     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 
279067     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[...] 
279067     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 
279114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279130     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[...] 
279130     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 
279176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0