Standard output
396991 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
396992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 928.71ns
396994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
397340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 346.55ms
397366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
397369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
397682 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
397709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 27ms
397713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
397987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 274.15ms
398015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
398036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.8ms
398039 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
398039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.8ns
398041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
400897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
400945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
400947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 150.7ns
401078 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
401080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.25ms
401081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
403726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
403763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
403771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.22ms