TestProofBundleIO

697940     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 
697940     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.2ns 
697955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
698517     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 571.78ms 
698564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
698579     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
699033     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 
699096     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.62ms 
699096     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
699707     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 611.26ms 
699754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
699785     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.27ms 
699800     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 
699800     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 163ns 
699800     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
704609     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 
704672     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
704672     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
704781     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 
704797     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.47ms 
704797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
709471     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
709589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
709604     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.81ms