TestProofBundleIO

410585     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key 
410585     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.7ns 
410585     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
411006     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 428.51ms 
411038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
411053     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
411288     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof 
411335     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.08ms 
411335     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
411773     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 424.34ms 
411804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
411836     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.68ms 
411836     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key 
411836     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.9ns 
411836     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
414555     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
414602     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
414602     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 
414712     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof 
414712     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.28ms 
414728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
417495     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
417541     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
417541     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.29ms