TestTermParser

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

tests
0

failures
4

ignored
0.298s

duration
100%

successful

Tests

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

Standard output

525938     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[...] 
526026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526073     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[...] 
526073     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 
526141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526141     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     Reading public class T0 extends java.lang.Object{}  
526188     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[...] 
526188     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 
526259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526259     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[...] 
526259     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 
526337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526337     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[...] 
526337     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 
526400     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[...] 
526400     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 
526478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526478     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
526478     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[...] 
526478     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 
526541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526556     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
526556     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[...] 
526556     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 
526619     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[...] 
526619     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 
526681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526697     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[...] 
526697     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 
526762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526762     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
526762     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[...] 
526762     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 
526825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526825     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[...] 
526825     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 
526887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526903     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[...] 
526903     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 
526965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526965     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[...] 
526965     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 
527041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527041     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[...] 
527041     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 
527103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
527119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527119     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[...] 
527119     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 
527182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527182     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[...] 
527182     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 
527260     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[...] 
527260     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 
527322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527322     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[...] 
527322     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 
527385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527385     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[...] 
527385     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 
527447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527463     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[...] 
527463     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 
527526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527526     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[...] 
527526     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 
527591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527591     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[...] 
527591     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 
527654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527669     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[...] 
527669     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 
527732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527732     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[...] 
527732     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 
527810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527810     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[...] 
527810     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 
527888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527888     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[...] 
527888     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 
527951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527951     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[...] 
527966     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 
528029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528029     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[...] 
528029     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 
528091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528091     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[...] 
528091     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 
528154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
528169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528169     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[...] 
528169     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 
528232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528232     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[...] 
528232     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 
528294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528310     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[...] 
528310     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 
528372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528372     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[...] 
528372     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 
528451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528451     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[...] 
528451     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 
528581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528581     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[...] 
528581     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 
528650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528650     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[...] 
528650     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 
528712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528712     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
528712     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true) 
528712     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[...] 
528712     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 
528795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 20 ms 
528795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528802     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)) 
528802     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)) 
528802     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[...] 
528802     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 
528869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528869     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: not(equals(Z(1(#)),Z(1(#)))) 
528869     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: not(equals(Z(1(#)),Z(1(#)))) 
528869     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[...] 
528869     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 
528931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528931     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
528931     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j) 
528931     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[...] 
528931     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 
528994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529009     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
529009     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
529009     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[...] 
529009     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 
529072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529072     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(int::cast(subst{x:int}(j,j)),j) 
529072     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(int::cast(subst{x:int}(j,j)),j) 
529072     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[...] 
529072     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 
529134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529134     DEBUG Test worker     d.u.i.k.p.TestTermParser  Actual: add(subst{x:int}(j,int::cast(j)),j) 
529134     DEBUG Test worker     d.u.i.k.p.TestTermParser  Expected: add(subst{x:int}(j,int::cast(j)),j) 
529134     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[...] 
529134     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 
529215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529215     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[...] 
529215     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 
529277     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[...] 
529277     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 
529355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529402     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[...] 
529402     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 
529465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0