Standard output
483652 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
483653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.51ns
483654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 399.81ms
484088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
484090 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
484481 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
484508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 27.67ms
484510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 345.74ms
484891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
484915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.49ms
484917 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
484918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.72ns
484919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
488122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
488123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns
488239 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
488241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.52ms
488242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
491461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
491569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
491579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.45ms