TestTermParser

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

tests
0

failures
4

ignored
0.193s

duration
100%

successful

Tests

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

Standard output

311826     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[...] 
311891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311891     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[...] 
311891     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 
311952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311952     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
312008     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[...] 
312008     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 
312071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312071     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[...] 
312071     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 
312144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312144     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[...] 
312144     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 
312206     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[...] 
312206     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 
312269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312269     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
312269     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[...] 
312269     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 
312332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312332     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
312332     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[...] 
312332     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 
312394     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[...] 
312394     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 
312457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312472     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[...] 
312472     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 
312528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312528     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
312528     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[...] 
312528     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 
312590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312590     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[...] 
312590     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 
312652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312668     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[...] 
312668     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 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312731     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[...] 
312731     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 
312793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312793     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[...] 
312793     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 
312856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312856     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[...] 
312856     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 
312918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312918     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[...] 
312934     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 
312983     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[...] 
312983     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 
313048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313048     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[...] 
313048     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 
313110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313110     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[...] 
313110     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 
313173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313173     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[...] 
313173     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 
313235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313251     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[...] 
313251     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 
313299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313314     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[...] 
313314     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 
313366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313366     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[...] 
313366     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 
313428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     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[...] 
313444     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 
313491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     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[...] 
313506     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 
313569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
313569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313569     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[...] 
313569     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 
313631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313631     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[...] 
313631     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 
313694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313694     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[...] 
313694     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 
313756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313756     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[...] 
313756     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 
313819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313819     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[...] 
313819     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 
313897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
313897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313897     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[...] 
313897     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 
313960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313960     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[...] 
313960     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 
314022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314022     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[...] 
314022     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 
314085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314085     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[...] 
314085     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 
314156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314156     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[...] 
314156     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 
314219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314219     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[...] 
314219     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 
314281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314281     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
314281     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
314281     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[...] 
314281     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 
314344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314360     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)) 
314360     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)) 
314360     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[...] 
314360     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 
314422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314422     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
314422     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
314422     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[...] 
314422     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 
314485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314485     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
314485     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
314485     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[...] 
314485     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 
314547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314547     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
314547     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
314547     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[...] 
314547     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 
314610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314610     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
314610     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
314610     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[...] 
314610     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 
314680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314680     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
314680     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
314680     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[...] 
314680     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 
314743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314743     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[...] 
314743     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 
314806     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[...] 
314806     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 
314868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314868     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[...] 
314868     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 
314949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0