TestTermParser

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

tests
0

failures
4

ignored
0.248s

duration
100%

successful

Tests

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

Standard output

548806     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[...] 
548885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548885     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[...] 
548885     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 
548994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548994     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
549072     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[...] 
549072     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 
549181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549181     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[...] 
549181     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 
549285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549285     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[...] 
549285     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 
549363     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[...] 
549363     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 
549441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549441     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
549441     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[...] 
549441     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 
549509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549509     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
549524     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[...] 
549524     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 
549587     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[...] 
549587     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 
549665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549681     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[...] 
549681     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 
549759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549759     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
549759     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[...] 
549759     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 
549837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549837     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[...] 
549837     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 
549915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549915     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[...] 
549915     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 
549993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549993     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[...] 
549993     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 
550071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550071     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[...] 
550071     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 
550149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550149     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[...] 
550149     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 
550227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
550243     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[...] 
550243     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 
550321     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[...] 
550321     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 
550399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550399     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[...] 
550399     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 
550478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550478     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[...] 
550478     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 
550556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550556     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[...] 
550556     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 
550634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550634     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[...] 
550634     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 
550712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550712     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[...] 
550712     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 
550777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550793     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[...] 
550793     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 
550855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550855     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[...] 
550871     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 
550933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550933     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[...] 
550933     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 
551012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551012     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[...] 
551027     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 
551141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551141     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[...] 
551141     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 
551220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551220     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[...] 
551220     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 
551298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551298     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[...] 
551298     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 
551376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551376     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[...] 
551376     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 
551454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551454     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[...] 
551454     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 
551532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551532     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[...] 
551532     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 
551610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551610     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[...] 
551610     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 
551694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551694     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[...] 
551694     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 
551772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551772     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[...] 
551772     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 
551850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551850     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[...] 
551850     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 
551928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551944     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
551944     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
551944     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[...] 
551944     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 
552006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552022     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)) 
552022     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)) 
552022     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[...] 
552022     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 
552100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552100     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
552100     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
552100     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[...] 
552100     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 
552172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552172     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
552172     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
552172     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[...] 
552172     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 
552251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552251     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
552251     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
552251     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[...] 
552251     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 
552329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552329     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
552329     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
552329     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[...] 
552329     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 
552407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552407     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
552407     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
552407     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[...] 
552407     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 
552485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552501     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[...] 
552501     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 
552571     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[...] 
552571     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 
552650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552650     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[...] 
552650     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 
552734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0