Standard output
764929 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
764929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.7ns
764931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 520.34ms
765491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
765494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
765918 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
765960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 41.39ms
765961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
766499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 537.34ms
766543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
766576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.08ms
766579 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
766579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.5ns
766581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s
771914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
771916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
772031 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
772033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.15ms
772035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
777249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
777304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
777316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.47ms