TestZipProofSaving

1

tests

0

failures

0

ignored

11.614s

duration

100%

successful

Tests

Test Duration Result
testZip() 11.614s passed

Standard output

740542     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16799180441788445799.key 
740542     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.5ns 
740542     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
740730     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
740730     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
740730     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
740730     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
741544     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
746885     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s 
746916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16799180441788445799.key 
746916     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
747026     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15285904762488721084.proof.gz 
747026     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.7ns 
747042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
752008     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 
752024     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15285904762488721084.proof.gz 
752039     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.75ms