Standard output
723760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
723760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns
723760 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofStarter\CC\project.key took 0 ms to parse.
723760 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.
723760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
724675 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
724675 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.
726451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
726513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
726513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
726513 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofStarter\CC\project.key took 0 ms to parse.
726513 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.
749690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
749690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns
749690 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofStarter\CC\project.key took 0 ms to parse.
749690 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.
749690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
750557 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
750557 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.
752271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s
752318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
752318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
752318 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofStarter\CC\project.key took 0 ms to parse.
752318 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2113 ms.