Standard output
646575 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
646575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145ns
646576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
647050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 473.63ms
647085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
647087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
647430 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
647467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 31.84ms
647469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
647905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 435.68ms
647939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
647960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.55ms
647963 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
647963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.1ns
647964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
652353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
652450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
652451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
652574 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
652576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.96ms
652579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
657024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
657071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
657080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.68ms