TestTermParser

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

tests
0

failures
4

ignored
0.210s

duration
100%

successful

Tests

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

Standard output

408685     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[...] 
408745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408745     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[...] 
408745     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 
408802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408818     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
408850     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[...] 
408866     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 
408913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408929     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[...] 
408929     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 
408991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408991     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[...] 
408991     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 
409054     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[...] 
409054     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 
409101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409116     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
409116     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[...] 
409116     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 
409179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409179     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
409179     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[...] 
409179     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 
409241     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[...] 
409241     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 
409304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409304     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[...] 
409304     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 
409366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409366     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
409382     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[...] 
409382     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 
409444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409444     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[...] 
409444     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 
409507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409507     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[...] 
409507     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 
409575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
409575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
409578     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[...] 
409578     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 
409625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409641     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[...] 
409641     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 
409688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
409703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409703     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[...] 
409703     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 
409754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409754     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[...] 
409754     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 
409817     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[...] 
409817     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 
409879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409879     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[...] 
409879     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 
409942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409942     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[...] 
409957     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 
410004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410020     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[...] 
410020     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 
410067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410082     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[...] 
410082     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 
410145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410145     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[...] 
410145     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 
410207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410207     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[...] 
410207     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 
410270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410270     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[...] 
410270     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 
410332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410332     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[...] 
410332     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 
410395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410395     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[...] 
410395     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 
410457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410457     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[...] 
410457     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 
410520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410520     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[...] 
410520     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 
410582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410582     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[...] 
410582     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 
410645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410645     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[...] 
410645     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 
410707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410723     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[...] 
410723     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 
410785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410785     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[...] 
410785     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 
410848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410848     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[...] 
410848     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 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     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[...] 
410917     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 
410980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410980     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[...] 
410980     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 
411043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411043     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[...] 
411043     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 
411106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411106     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
411106     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
411106     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[...] 
411106     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 
411168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411168     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)) 
411168     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)) 
411184     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[...] 
411184     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 
411235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411235     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
411235     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
411235     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[...] 
411235     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 
411298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411298     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
411298     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
411298     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[...] 
411298     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 
411360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411360     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
411360     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
411360     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[...] 
411360     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 
411423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411438     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
411438     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
411438     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[...] 
411438     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 
411501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411501     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
411501     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
411501     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[...] 
411501     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 
411563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411563     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[...] 
411563     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 
411626     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[...] 
411626     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 
411688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411720     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[...] 
411720     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 
411782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0