Standard output
511460 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
511464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.32ms
511467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 444.86ms
511947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
511952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
512345 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
512379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 34.78ms
512381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
512766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 385.29ms
512801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
512829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.06ms
512831 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
512832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.6ns
512833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
516279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
516328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
516329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
516442 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
516451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.98ms
516453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
519997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
520013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ms