TestProofBundleIO

743214     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 
743214     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns 
743214     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
743780     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 573.65ms 
743826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
743826     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
744186     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 
744248     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.93ms 
744248     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
744855     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 608.01ms 
744902     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
744933     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ms 
744933     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 
744933     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.2ns 
744933     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
750191     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 
750254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
750254     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
750365     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 
750365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.45ms 
750380     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
755585     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 
755632     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
755648     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.43ms