UNPKG

l1-lottery-contracts

Version:

This repo contains smart contracts and related scripts for ZkNoid L1 Lottery proposed [here](https://forums.minaprotocol.com/t/zknoid-l1-lottery/6269)

517 lines (516 loc) 27 kB
<?xml version="1.0" encoding="UTF-8"?> <coverage generated="1724050005054" clover="3.2.0"> <project timestamp="1724050005054" name="All files"> <metrics statements="465" coveredstatements="425" conditionals="42" coveredconditionals="22" methods="101" coveredmethods="88" elements="608" coveredelements="535" complexity="0" loc="465" ncloc="465" packages="4" files="11" classes="11"/> <package name="src"> <metrics statements="204" coveredstatements="199" conditionals="5" coveredconditionals="2" methods="48" coveredmethods="47"/> <file name="CustomMerkleMap.ts" path="/home/alex/ZkNoid/l1-lottery/src/CustomMerkleMap.ts"> <metrics statements="26" coveredstatements="26" conditionals="0" coveredconditionals="0" methods="7" coveredmethods="7"/> <line num="17" count="1" type="stmt"/> <line num="29" count="968" type="stmt"/> <line num="31" count="968" type="stmt"/> <line num="32" count="968" type="stmt"/> <line num="34" count="968" type="stmt"/> <line num="36" count="968" type="stmt"/> <line num="37" count="18392" type="stmt"/> <line num="38" count="18392" type="stmt"/> <line num="39" count="18392" type="stmt"/> <line num="41" count="18392" type="stmt"/> <line num="43" count="18392" type="stmt"/> <line num="46" count="968" type="stmt"/> <line num="58" count="36" type="stmt"/> <line num="65" count="1487" type="stmt"/> <line num="70" count="1487" type="stmt"/> <line num="71" count="1487" type="stmt"/> <line num="72" count="28253" type="stmt"/> <line num="75" count="1487" type="stmt"/> <line num="84" count="253" type="stmt"/> <line num="85" count="253" type="stmt"/> <line num="94" count="564" type="stmt"/> <line num="95" count="564" type="stmt"/> <line num="103" count="439" type="stmt"/> <line num="112" count="670" type="stmt"/> <line num="114" count="670" type="stmt"/> <line num="117" count="670" type="stmt"/> </file> <file name="PLottery.ts" path="/home/alex/ZkNoid/l1-lottery/src/PLottery.ts"> <metrics statements="129" coveredstatements="129" conditionals="1" coveredconditionals="1" methods="24" coveredmethods="24"/> <line num="47" count="1" type="stmt"/> <line num="48" count="6" type="stmt"/> <line num="51" count="1" type="stmt"/> <line num="52" count="22" type="stmt"/> <line num="53" count="22" type="stmt"/> <line num="54" count="132" type="stmt"/> <line num="57" count="22" type="stmt"/> <line num="59" count="132" type="stmt"/> <line num="60" count="132" type="stmt"/> <line num="62" count="132" type="stmt"/> <line num="63" count="132" type="stmt"/> <line num="65" count="22" type="stmt"/> <line num="68" count="1" type="stmt"/> <line num="69" count="1" type="stmt"/> <line num="71" count="1" type="stmt"/> <line num="72" count="1" type="stmt"/> <line num="106" count="3" type="stmt"/> <line num="108" count="3" type="stmt"/> <line num="116" count="3" type="stmt"/> <line num="119" count="3" type="stmt"/> <line num="122" count="3" type="stmt"/> <line num="125" count="3" type="stmt"/> <line num="128" count="3" type="stmt"/> <line num="131" count="3" type="stmt"/> <line num="134" count="3" type="stmt"/> <line num="137" count="3" type="stmt"/> <line num="140" count="6" type="stmt"/> <line num="142" count="6" type="stmt"/> <line num="143" count="6" type="stmt"/> <line num="144" count="6" type="stmt"/> <line num="145" count="6" type="stmt"/> <line num="146" count="6" type="stmt"/> <line num="149" count="6" type="stmt"/> <line num="150" count="6" type="stmt"/> <line num="166" count="3" type="stmt"/> <line num="168" count="120" type="stmt"/> <line num="169" count="120" type="stmt"/> <line num="172" count="120" type="stmt"/> <line num="175" count="120" type="stmt"/> <line num="179" count="120" type="stmt"/> <line num="182" count="120" type="stmt"/> <line num="188" count="120" type="stmt"/> <line num="212" count="3" type="stmt"/> <line num="214" count="14" type="stmt"/> <line num="216" count="14" type="stmt"/> <line num="218" count="14" type="stmt"/> <line num="219" count="14" type="stmt"/> <line num="224" count="14" type="stmt"/> <line num="230" count="14" type="stmt"/> <line num="236" count="14" type="stmt"/> <line num="242" count="14" type="stmt"/> <line num="247" count="14" type="stmt"/> <line num="253" count="14" type="stmt"/> <line num="254" count="14" type="stmt"/> <line num="255" count="14" type="stmt"/> <line num="256" count="14" type="stmt"/> <line num="257" count="14" type="stmt"/> <line num="262" count="14" type="stmt"/> <line num="289" count="3" type="stmt"/> <line num="297" count="14" type="stmt"/> <line num="301" count="14" type="stmt"/> <line num="305" count="14" type="stmt"/> <line num="309" count="14" type="stmt"/> <line num="312" count="14" type="stmt"/> <line num="313" count="14" type="stmt"/> <line num="316" count="14" type="stmt"/> <line num="318" count="14" type="stmt"/> <line num="321" count="14" type="stmt"/> <line num="328" count="14" type="stmt"/> <line num="333" count="14" type="stmt"/> <line num="363" count="3" type="stmt"/> <line num="373" count="2" type="stmt"/> <line num="376" count="2" type="stmt"/> <line num="385" count="2" type="stmt"/> <line num="388" count="2" type="stmt"/> <line num="391" count="2" type="stmt"/> <line num="395" count="2" type="stmt"/> <line num="396" count="2" type="stmt"/> <line num="407" count="2" type="stmt"/> <line num="412" count="2" type="stmt"/> <line num="445" count="3" type="stmt"/> <line num="457" count="108" type="stmt"/> <line num="459" count="107" type="stmt"/> <line num="466" count="107" type="stmt"/> <line num="473" count="106" type="stmt"/> <line num="478" count="106" type="stmt"/> <line num="483" count="106" type="stmt"/> <line num="489" count="106" type="stmt"/> <line num="492" count="106" type="stmt"/> <line num="493" count="106" type="stmt"/> <line num="495" count="106" type="stmt"/> <line num="497" count="106" type="stmt"/> <line num="499" count="106" type="stmt"/> <line num="505" count="106" type="stmt"/> <line num="512" count="106" type="stmt"/> <line num="539" count="14" type="stmt"/> <line num="540" count="14" type="stmt"/> <line num="541" count="14" type="stmt"/> <line num="544" count="14" type="stmt"/> <line num="545" count="14" type="stmt"/> <line num="550" count="14" type="stmt"/> <line num="561" count="120" type="stmt"/> <line num="562" count="120" type="stmt"/> <line num="576" count="2" type="stmt"/> <line num="577" count="2" type="stmt"/> <line num="603" count="108" type="stmt"/> <line num="635" count="106" type="stmt"/> <line num="654" count="16" type="stmt"/> <line num="679" count="106" type="stmt"/> <line num="706" count="122" type="stmt"/> <line num="708" count="122" type="stmt"/> <line num="709" count="122" type="stmt"/> <line num="711" count="122" type="stmt"/> <line num="730" count="336" type="stmt"/> <line num="732" count="336" type="stmt"/> <line num="733" count="336" type="stmt"/> <line num="734" count="336" type="cond" truecount="1" falsecount="0"/> <line num="735" count="336" type="stmt"/> <line num="738" count="336" type="stmt"/> <line num="751" count="2" type="stmt"/> <line num="758" count="2" type="stmt"/> <line num="759" count="2" type="stmt"/> <line num="760" count="2" type="stmt"/> <line num="762" count="2" type="stmt"/> <line num="784" count="109" type="stmt"/> <line num="787" count="109" type="stmt"/> <line num="792" count="109" type="stmt"/> <line num="796" count="108" type="stmt"/> <line num="800" count="3" type="stmt"/> </file> <file name="Ticket.ts" path="/home/alex/ZkNoid/l1-lottery/src/Ticket.ts"> <metrics statements="19" coveredstatements="18" conditionals="1" coveredconditionals="0" methods="12" coveredmethods="12"/> <line num="14" count="426" type="stmt"/> <line num="27" count="2" type="cond" truecount="0" falsecount="1"/> <line num="28" count="0" type="stmt"/> <line num="32" count="2" type="stmt"/> <line num="33" count="12" type="stmt"/> <line num="40" count="71" type="stmt"/> <line num="42" count="426" type="stmt"/> <line num="50" count="120" type="stmt"/> <line num="51" count="720" type="stmt"/> <line num="57" count="394" type="stmt"/> <line num="59" count="2364" type="stmt"/> <line num="66" count="212" type="stmt"/> <line num="68" count="212" type="stmt"/> <line num="69" count="1272" type="stmt"/> <line num="78" count="212" type="stmt"/> <line num="79" count="1484" type="stmt"/> <line num="82" count="212" type="stmt"/> <line num="83" count="1484" type="stmt"/> <line num="86" count="212" type="stmt"/> </file> <file name="constants.ts" path="/home/alex/ZkNoid/l1-lottery/src/constants.ts"> <metrics statements="8" coveredstatements="8" conditionals="0" coveredconditionals="0" methods="0" coveredmethods="0"/> <line num="3" count="1" type="stmt"/> <line num="5" count="1" type="stmt"/> <line num="6" count="1" type="stmt"/> <line num="8" count="1" type="stmt"/> <line num="10" count="1" type="stmt"/> <line num="11" count="1" type="stmt"/> <line num="13" count="1" type="stmt"/> <line num="16" count="1" type="stmt"/> </file> <file name="util.ts" path="/home/alex/ZkNoid/l1-lottery/src/util.ts"> <metrics statements="22" coveredstatements="18" conditionals="3" coveredconditionals="1" methods="5" coveredmethods="4"/> <line num="6" count="1" type="stmt"/> <line num="9" count="4" type="cond" truecount="1" falsecount="1"/> <line num="10" count="4" type="cond" truecount="0" falsecount="1"/> <line num="11" count="0" type="stmt"/> <line num="13" count="4" type="stmt"/> <line num="14" count="4" type="stmt"/> <line num="16" count="0" type="stmt"/> <line num="17" count="0" type="stmt"/> <line num="20" count="4" type="stmt"/> <line num="21" count="4" type="stmt"/> <line num="22" count="76" type="stmt"/> <line num="28" count="4" type="stmt"/> <line num="34" count="0" type="stmt"/> <line num="38" count="210" type="stmt"/> <line num="39" count="210" type="stmt"/> <line num="41" count="210" type="stmt"/> <line num="45" count="125" type="stmt"/> <line num="46" count="125" type="stmt"/> <line num="48" count="125" type="stmt"/> <line num="52" count="282" type="stmt"/> <line num="53" count="282" type="stmt"/> <line num="55" count="282" type="stmt"/> </file> </package> <package name="src.Proofs"> <metrics statements="59" coveredstatements="51" conditionals="1" coveredconditionals="0" methods="19" coveredmethods="12"/> <file name="DistributionProof.ts" path="/home/alex/ZkNoid/l1-lottery/src/Proofs/DistributionProof.ts"> <metrics statements="15" coveredstatements="13" conditionals="0" coveredconditionals="0" methods="4" coveredmethods="2"/> <line num="25" count="1" type="stmt"/> <line num="26" count="1" type="stmt"/> <line num="29" count="1" type="stmt"/> <line num="32" count="7" type="stmt"/> <line num="38" count="1" type="stmt"/> <line num="45" count="56" type="stmt"/> <line num="47" count="56" type="stmt"/> <line num="49" count="56" type="stmt"/> <line num="51" count="56" type="stmt"/> <line num="53" count="56" type="stmt"/> <line num="54" count="56" type="stmt"/> <line num="58" count="56" type="stmt"/> <line num="64" count="1" type="stmt"/> <line num="74" count="0" type="stmt"/> <line num="86" count="0" type="stmt"/> </file> <file name="TicketReduceProof.ts" path="/home/alex/ZkNoid/l1-lottery/src/Proofs/TicketReduceProof.ts"> <metrics statements="44" coveredstatements="38" conditionals="1" coveredconditionals="0" methods="15" coveredmethods="10"/> <line num="16" count="2" type="cond" truecount="0" falsecount="1"/> <line num="17" count="2" type="stmt"/> <line num="20" count="49" type="stmt"/> <line num="21" count="49" type="stmt"/> <line num="22" count="392" type="stmt"/> <line num="24" count="49" type="stmt"/> <line num="27" count="2" type="stmt"/> <line num="32" count="2" type="stmt"/> <line num="35" count="2" type="stmt"/> <line num="38" count="0" type="stmt"/> <line num="39" count="0" type="stmt"/> <line num="42" count="2" type="stmt"/> <line num="50" count="1" type="stmt"/> <line num="51" count="60" type="stmt"/> <line num="66" count="1" type="stmt"/> <line num="67" count="60" type="stmt"/> <line num="72" count="0" type="stmt"/> <line num="97" count="1" type="stmt"/> <line num="105" count="7" type="stmt"/> <line num="119" count="1" type="stmt"/> <line num="126" count="60" type="stmt"/> <line num="128" count="60" type="stmt"/> <line num="133" count="60" type="stmt"/> <line num="135" count="60" type="stmt"/> <line num="141" count="60" type="stmt"/> <line num="143" count="60" type="stmt"/> <line num="147" count="60" type="stmt"/> <line num="150" count="60" type="stmt"/> <line num="155" count="60" type="stmt"/> <line num="157" count="60" type="stmt"/> <line num="160" count="60" type="stmt"/> <line num="162" count="60" type="stmt"/> <line num="167" count="60" type="stmt"/> <line num="171" count="60" type="stmt"/> <line num="176" count="60" type="stmt"/> <line num="190" count="1" type="stmt"/> <line num="197" count="60" type="stmt"/> <line num="199" count="60" type="stmt"/> <line num="203" count="60" type="stmt"/> <line num="205" count="60" type="stmt"/> <line num="224" count="1" type="stmt"/> <line num="239" count="0" type="stmt"/> <line num="258" count="0" type="stmt"/> <line num="270" count="0" type="stmt"/> </file> </package> <package name="src.Random"> <metrics statements="63" coveredstatements="47" conditionals="0" coveredconditionals="0" methods="14" coveredmethods="11"/> <file name="RandomManager.ts" path="/home/alex/ZkNoid/l1-lottery/src/Random/RandomManager.ts"> <metrics statements="63" coveredstatements="47" conditionals="0" coveredconditionals="0" methods="14" coveredmethods="11"/> <line num="24" count="1" type="stmt"/> <line num="26" count="1" type="stmt"/> <line num="34" count="35" type="stmt"/> <line num="38" count="1" type="stmt"/> <line num="39" count="1" type="stmt"/> <line num="45" count="17" type="stmt"/> <line num="46" count="17" type="stmt"/> <line num="48" count="17" type="stmt"/> <line num="49" count="17" type="stmt"/> <line num="51" count="17" type="stmt"/> <line num="53" count="17" type="stmt"/> <line num="58" count="6" type="stmt"/> <line num="60" count="6" type="stmt"/> <line num="61" count="6" type="stmt"/> <line num="71" count="6" type="stmt"/> <line num="72" count="0" type="stmt"/> <line num="74" count="0" type="stmt"/> <line num="75" count="0" type="stmt"/> <line num="86" count="6" type="stmt"/> <line num="90" count="14" type="stmt"/> <line num="92" count="14" type="stmt"/> <line num="94" count="14" type="stmt"/> <line num="96" count="14" type="stmt"/> <line num="100" count="14" type="stmt"/> <line num="103" count="14" type="stmt"/> <line num="115" count="6" type="stmt"/> <line num="120" count="14" type="stmt"/> <line num="123" count="14" type="stmt"/> <line num="124" count="14" type="stmt"/> <line num="130" count="14" type="stmt"/> <line num="134" count="14" type="stmt"/> <line num="139" count="14" type="stmt"/> <line num="143" count="14" type="stmt"/> <line num="147" count="14" type="stmt"/> <line num="153" count="14" type="stmt"/> <line num="156" count="14" type="stmt"/> <line num="159" count="14" type="stmt"/> <line num="160" count="14" type="stmt"/> <line num="163" count="14" type="stmt"/> <line num="171" count="6" type="stmt"/> <line num="172" count="0" type="stmt"/> <line num="173" count="0" type="stmt"/> <line num="178" count="0" type="stmt"/> <line num="179" count="0" type="stmt"/> <line num="181" count="0" type="stmt"/> <line num="187" count="0" type="stmt"/> <line num="193" count="0" type="stmt"/> <line num="201" count="6" type="stmt"/> <line num="202" count="0" type="stmt"/> <line num="203" count="0" type="stmt"/> <line num="208" count="0" type="stmt"/> <line num="209" count="0" type="stmt"/> <line num="210" count="0" type="stmt"/> <line num="211" count="0" type="stmt"/> <line num="219" count="28" type="stmt"/> <line num="228" count="14" type="stmt"/> <line num="229" count="14" type="stmt"/> <line num="241" count="14" type="stmt"/> <line num="242" count="14" type="stmt"/> <line num="249" count="6" type="stmt"/> <line num="254" count="3" type="stmt"/> <line num="255" count="14" type="stmt"/> <line num="259" count="3" type="stmt"/> </file> </package> <package name="src.StateManager"> <metrics statements="139" coveredstatements="128" conditionals="36" coveredconditionals="20" methods="20" coveredmethods="18"/> <file name="BaseStateManager.ts" path="/home/alex/ZkNoid/l1-lottery/src/StateManager/BaseStateManager.ts"> <metrics statements="92" coveredstatements="87" conditionals="22" coveredconditionals="13" methods="10" coveredmethods="9"/> <line num="38" count="63" type="stmt"/> <line num="64" count="3" type="stmt"/> <line num="65" count="3" type="stmt"/> <line num="66" count="3" type="stmt"/> <line num="67" count="3" type="stmt"/> <line num="68" count="3" type="stmt"/> <line num="69" count="3" type="stmt"/> <line num="70" count="3" type="stmt"/> <line num="71" count="3" type="stmt"/> <line num="72" count="3" type="stmt"/> <line num="73" count="3" type="stmt"/> <line num="74" count="3" type="stmt"/> <line num="78" count="12" type="stmt"/> <line num="79" count="12" type="stmt"/> <line num="81" count="12" type="stmt"/> <line num="85" count="12" type="stmt"/> <line num="86" count="10" type="stmt"/> <line num="87" count="10" type="stmt"/> <line num="88" count="10" type="stmt"/> <line num="95" count="60" type="stmt"/> <line num="96" count="60" type="stmt"/> <line num="100" count="60" type="stmt"/> <line num="107" count="0" type="stmt"/> <line num="112" count="60" type="stmt"/> <line num="113" count="60" type="stmt"/> <line num="115" count="60" type="stmt"/> <line num="126" count="7" type="stmt"/> <line num="127" count="7" type="stmt"/> <line num="129" count="7" type="stmt"/> <line num="130" count="7" type="stmt"/> <line num="132" count="7" type="cond" truecount="1" falsecount="0"/> <line num="133" count="7" type="stmt"/> <line num="134" count="7" type="stmt"/> <line num="140" count="7" type="stmt"/> <line num="148" count="52" type="cond" truecount="1" falsecount="0"/> <line num="149" count="45" type="stmt"/> <line num="152" count="7" type="stmt"/> <line num="153" count="7" type="stmt"/> <line num="154" count="7" type="stmt"/> <line num="156" count="7" type="stmt"/> <line num="162" count="7" type="cond" truecount="1" falsecount="1"/> <line num="166" count="7" type="stmt"/> <line num="167" count="57" type="stmt"/> <line num="168" count="57" type="cond" truecount="1" falsecount="0"/> <line num="170" count="1" type="stmt"/> <line num="173" count="56" type="stmt"/> <line num="178" count="56" type="stmt"/> <line num="180" count="56" type="cond" truecount="1" falsecount="1"/> <line num="181" count="56" type="stmt"/> <line num="187" count="0" type="stmt"/> <line num="192" count="7" type="stmt"/> <line num="193" count="7" type="stmt"/> <line num="212" count="52" type="stmt"/> <line num="214" count="52" type="stmt"/> <line num="217" count="52" type="stmt"/> <line num="218" count="52" type="stmt"/> <line num="219" count="318" type="cond" truecount="1" falsecount="0"/> <line num="225" count="52" type="stmt"/> <line num="226" count="52" type="cond" truecount="1" falsecount="0"/> <line num="227" count="52" type="stmt"/> <line num="230" count="52" type="stmt"/> <line num="234" count="52" type="cond" truecount="0" falsecount="1"/> <line num="235" count="0" type="stmt"/> <line num="238" count="52" type="cond" truecount="1" falsecount="1"/> <line num="241" count="52" type="stmt"/> <line num="242" count="52" type="cond" truecount="0" falsecount="1"/> <line num="243" count="0" type="stmt"/> <line num="245" count="52" type="stmt"/> <line num="247" count="52" type="stmt"/> <line num="248" count="52" type="stmt"/> <line num="250" count="52" type="stmt"/> <line num="254" count="52" type="cond" truecount="1" falsecount="0"/> <line num="255" count="52" type="stmt"/> <line num="261" count="52" type="stmt"/> <line num="284" count="1" type="stmt"/> <line num="286" count="1" type="stmt"/> <line num="289" count="1" type="stmt"/> <line num="290" count="1" type="stmt"/> <line num="291" count="1" type="cond" truecount="1" falsecount="0"/> <line num="297" count="1" type="stmt"/> <line num="300" count="1" type="stmt"/> <line num="303" count="1" type="cond" truecount="0" falsecount="1"/> <line num="304" count="0" type="stmt"/> <line num="307" count="1" type="stmt"/> <line num="309" count="1" type="stmt"/> <line num="310" count="1" type="stmt"/> <line num="316" count="1" type="cond" truecount="1" falsecount="0"/> <line num="317" count="1" type="stmt"/> <line num="318" count="1" type="stmt"/> <line num="320" count="1" type="stmt"/> <line num="325" count="1" type="stmt"/> <line num="331" count="1" type="stmt"/> </file> <file name="PStateManager.ts" path="/home/alex/ZkNoid/l1-lottery/src/StateManager/PStateManager.ts"> <metrics statements="37" coveredstatements="31" conditionals="14" coveredconditionals="7" methods="5" coveredmethods="4"/> <line num="33" count="127" type="stmt"/> <line num="54" count="3" type="stmt"/> <line num="56" count="3" type="stmt"/> <line num="57" count="3" type="stmt"/> <line num="68" count="60" type="stmt"/> <line num="69" count="60" type="stmt"/> <line num="71" count="60" type="cond" truecount="2" falsecount="1"/> <line num="72" count="60" type="stmt"/> <line num="76" count="60" type="stmt"/> <line num="81" count="60" type="stmt"/> <line num="87" count="60" type="stmt"/> <line num="88" count="60" type="stmt"/> <line num="90" count="60" type="stmt"/> <line num="94" count="0" type="stmt"/> <line num="95" count="0" type="stmt"/> <line num="96" count="0" type="stmt"/> <line num="97" count="0" type="stmt"/> <line num="101" count="0" type="stmt"/> <line num="103" count="0" type="stmt"/> <line num="110" count="7" type="stmt"/> <line num="112" count="7" type="stmt"/> <line num="117" count="7" type="stmt"/> <line num="128" count="7" type="stmt"/> <line num="129" count="7" type="stmt"/> <line num="131" count="7" type="cond" truecount="1" falsecount="1"/> <line num="153" count="7" type="stmt"/> <line num="154" count="60" type="stmt"/> <line num="155" count="60" type="cond" truecount="2" falsecount="0"/> <line num="156" count="7" type="stmt"/> <line num="157" count="7" type="stmt"/> <line num="159" count="53" type="stmt"/> <line num="162" count="60" type="stmt"/> <line num="168" count="60" type="stmt"/> <line num="178" count="60" type="cond" truecount="1" falsecount="1"/> <line num="186" count="60" type="stmt"/> <line num="190" count="60" type="cond" truecount="1" falsecount="1"/> <line num="199" count="7" type="stmt"/> </file> <file name="RandomManagerManager.ts" path="/home/alex/ZkNoid/l1-lottery/src/StateManager/RandomManagerManager.ts"> <metrics statements="10" coveredstatements="10" conditionals="0" coveredconditionals="0" methods="5" coveredmethods="5"/> <line num="15" count="3" type="stmt"/> <line num="16" count="3" type="stmt"/> <line num="20" count="14" type="stmt"/> <line num="22" count="14" type="stmt"/> <line num="29" count="7" type="stmt"/> <line num="30" count="7" type="stmt"/> <line num="34" count="14" type="stmt"/> <line num="36" count="14" type="stmt"/> <line num="43" count="7" type="stmt"/> <line num="44" count="7" type="stmt"/> </file> </package> </project> </coverage>