TestTermParser

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

tests
0

failures
4

ignored
0.218s

duration
100%

successful

Tests

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

Standard output

387803     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[...] 
387871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387871     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[...] 
387871     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 
387941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387941     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
387987     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[...] 
387987     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 
388065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388065     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[...] 
388065     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 
388127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388127     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[...] 
388127     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 
388206     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[...] 
388206     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 
388268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388268     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
388268     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[...] 
388284     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 
388346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388346     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
388346     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[...] 
388346     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 
388409     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[...] 
388409     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 
388471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388487     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[...] 
388487     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 
388554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388554     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
388554     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[...] 
388554     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 
388632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388632     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[...] 
388632     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 
388710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388725     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[...] 
388725     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 
388819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
388819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388819     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[...] 
388835     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 
388913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388913     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[...] 
388913     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 
389007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389007     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[...] 
389007     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 
389086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389086     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[...] 
389086     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 
389148     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[...] 
389148     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 
389280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389280     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[...] 
389280     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 
389343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389343     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[...] 
389343     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 
389411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389411     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[...] 
389411     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 
389474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389489     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[...] 
389489     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 
389552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389552     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[...] 
389552     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 
389634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389634     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[...] 
389634     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 
389697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389697     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[...] 
389697     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 
389777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389777     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[...] 
389777     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 
389855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389855     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[...] 
389855     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 
389933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389933     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[...] 
389933     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 
390012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390012     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[...] 
390012     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 
390074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390090     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[...] 
390090     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 
390153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390153     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[...] 
390153     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 
390231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390231     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[...] 
390231     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 
390309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390309     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[...] 
390309     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 
390388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390388     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[...] 
390403     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 
390466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390466     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[...] 
390466     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 
390528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390528     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[...] 
390528     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 
390601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390601     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[...] 
390601     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 
390663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
390679     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
390679     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
390679     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[...] 
390679     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 
390741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390741     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)) 
390741     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)) 
390757     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[...] 
390757     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 
390825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390825     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
390825     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
390825     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[...] 
390825     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 
390903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390903     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
390903     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
390903     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[...] 
390903     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 
390981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390981     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
390981     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
390997     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[...] 
390997     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 
391062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391062     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
391062     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
391062     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[...] 
391078     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 
391156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391156     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
391156     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
391156     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[...] 
391156     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 
391234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391234     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[...] 
391250     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 
391312     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[...] 
391312     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 
391390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391390     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[...] 
391390     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 
391484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0