Standard output
516119 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
516121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms
516123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
516633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 510.75ms
516673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
516676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
517043 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
517066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 22.96ms
517068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
517476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 408.21ms
517508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
517534 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.68ms
517536 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
517537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.7ns
517538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
521122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
521123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
521229 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
521231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.82ms
521234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
524877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
524890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ms