444961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.key
444964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.9ms
444966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 338.97ms
445338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
445341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
445350 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445350 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445351 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445351 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445361 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445362 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445362 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445362 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445369 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445371 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445371 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
445380 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
445527 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
445527 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
445528 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
445528 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
445561 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
445561 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
445561 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
445561 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
445571 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
445571 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
445572 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
445572 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
445577 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
445577 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
445578 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
445578 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
445587 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
445587 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
445588 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
445588 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
445618 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
445618 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
445619 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
445619 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
445639 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
445640 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
445640 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
445640 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
445896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.zproof
445926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 30.66ms
445929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
446269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 339.79ms
446297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
446380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 79.92ms
446383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.key
446383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.9ns
446385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
449627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
449670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
449671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
449676 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449676 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449676 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449676 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449681 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449681 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449681 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449681 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449683 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449683 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449683 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
449683 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
449708 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
449708 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
449708 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
449708 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
449778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.zproof
449779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms
449780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
452916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
452963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
452979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.99ms