coverage.json

{"contracts/lib/MerkleProof.sol":{"l":{"21":19,"22":1,"27":18,"28":18,"30":18,"31":3834,"36":3834,"38":3828,"41":6,"43":3834,"47":18},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/lib/MerkleProof.sol","s":{"1":19,"2":1,"3":18,"4":18,"5":3834,"6":3828,"7":6,"8":3834,"9":18},"b":{"1":[1,18],"2":[3828,6]},"f":{"1":19},"fnMap":{"1":{"name":"verifyProof","line":16,"loc":{"start":{"line":16,"column":2},"end":{"line":19,"column":18}}}},"statementMap":{"1":{"start":{"line":21,"column":4},"end":{"line":21,"column":743}},"2":{"start":{"line":22,"column":6},"end":{"line":22,"column":18}},"3":{"start":{"line":28,"column":4},"end":{"line":28,"column":31}},"4":{"start":{"line":30,"column":4},"end":{"line":30,"column":937}},"5":{"start":{"line":36,"column":6},"end":{"line":36,"column":1118}},"6":{"start":{"line":38,"column":8},"end":{"line":38,"column":77}},"7":{"start":{"line":41,"column":8},"end":{"line":41,"column":77}},"8":{"start":{"line":43,"column":6},"end":{"line":43,"column":24}},"9":{"start":{"line":47,"column":4},"end":{"line":47,"column":32}}},"branchMap":{"1":{"line":21,"type":"if","locations":[{"start":{"line":21,"column":4},"end":{"line":21,"column":4}},{"start":{"line":21,"column":4},"end":{"line":21,"column":4}}]},"2":{"line":36,"type":"if","locations":[{"start":{"line":36,"column":6},"end":{"line":36,"column":6}},{"start":{"line":36,"column":6},"end":{"line":36,"column":6}}]}}},"contracts/lib/PriorityQueue.sol":{"l":{"10":70,"11":70,"12":61,"20":127,"21":127,"27":69,"29":69,"32":69,"33":69,"34":69,"36":69,"37":55,"40":69,"47":219,"48":219,"50":219,"51":152,"53":67,"58":61,"59":61,"62":61,"63":9,"64":9,"68":61,"73":55,"74":55,"77":55,"78":55,"79":164,"80":164,"81":164,"85":55,"92":31},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/lib/PriorityQueue.sol","s":{"1":70,"2":61,"3":127,"4":127,"5":69,"6":69,"7":69,"8":69,"9":69,"10":55,"11":69,"12":219,"13":219,"14":219,"15":152,"16":67,"17":61,"18":61,"19":61,"20":9,"21":9,"22":61,"23":7,"24":55,"25":55,"26":55,"27":55,"28":164,"29":164,"30":164,"31":55,"32":52,"33":31},"b":{"1":[61,9],"2":[127,0],"3":[69,0],"4":[55,14],"5":[152,67],"6":[7,54],"7":[52,3]},"f":{"1":70,"2":127,"3":69,"4":219,"5":61,"6":55,"7":31},"fnMap":{"1":{"name":"insert","line":8,"loc":{"start":{"line":8,"column":2},"end":{"line":9,"column":10}}},"2":{"name":"getMin","line":16,"loc":{"start":{"line":16,"column":2},"end":{"line":19,"column":21}}},"3":{"name":"delMin","line":24,"loc":{"start":{"line":24,"column":2},"end":{"line":26,"column":21}}},"4":{"name":"minChild","line":43,"loc":{"start":{"line":43,"column":2},"end":{"line":46,"column":21}}},"5":{"name":"percUp","line":56,"loc":{"start":{"line":56,"column":2},"end":{"line":57,"column":11}}},"6":{"name":"percDown","line":71,"loc":{"start":{"line":71,"column":2},"end":{"line":72,"column":11}}},"7":{"name":"currentSize","line":88,"loc":{"start":{"line":88,"column":2},"end":{"line":91,"column":21}}}},"statementMap":{"1":{"start":{"line":11,"column":4},"end":{"line":11,"column":241}},"2":{"start":{"line":12,"column":6},"end":{"line":12,"column":45}},"3":{"start":{"line":20,"column":4},"end":{"line":20,"column":46}},"4":{"start":{"line":21,"column":4},"end":{"line":21,"column":22}},"5":{"start":{"line":27,"column":4},"end":{"line":27,"column":46}},"6":{"start":{"line":29,"column":4},"end":{"line":29,"column":28}},"7":{"start":{"line":32,"column":4},"end":{"line":32,"column":49}},"8":{"start":{"line":34,"column":4},"end":{"line":34,"column":43}},"9":{"start":{"line":36,"column":4},"end":{"line":36,"column":838}},"10":{"start":{"line":37,"column":6},"end":{"line":37,"column":26}},"11":{"start":{"line":40,"column":4},"end":{"line":40,"column":14}},"12":{"start":{"line":47,"column":4},"end":{"line":47,"column":32}},"13":{"start":{"line":48,"column":4},"end":{"line":48,"column":32}},"14":{"start":{"line":50,"column":4},"end":{"line":50,"column":1110}},"15":{"start":{"line":51,"column":6},"end":{"line":51,"column":19}},"16":{"start":{"line":53,"column":6},"end":{"line":53,"column":19}},"17":{"start":{"line":58,"column":4},"end":{"line":58,"column":23}},"18":{"start":{"line":59,"column":4},"end":{"line":59,"column":30}},"19":{"start":{"line":62,"column":4},"end":{"line":62,"column":1422}},"20":{"start":{"line":63,"column":6},"end":{"line":63,"column":44}},"21":{"start":{"line":64,"column":6},"end":{"line":64,"column":24}},"22":{"start":{"line":68,"column":4},"end":{"line":68,"column":42}},"23":{"start":{"line":68,"column":23},"end":{"line":68,"column":41}},"24":{"start":{"line":73,"column":4},"end":{"line":73,"column":20}},"25":{"start":{"line":74,"column":4},"end":{"line":74,"column":27}},"26":{"start":{"line":77,"column":4},"end":{"line":77,"column":37}},"27":{"start":{"line":78,"column":4},"end":{"line":78,"column":1882}},"28":{"start":{"line":79,"column":6},"end":{"line":79,"column":34}},"29":{"start":{"line":80,"column":6},"end":{"line":80,"column":14}},"30":{"start":{"line":81,"column":6},"end":{"line":81,"column":34}},"31":{"start":{"line":85,"column":4},"end":{"line":85,"column":42}},"32":{"start":{"line":85,"column":23},"end":{"line":85,"column":41}},"33":{"start":{"line":92,"column":4},"end":{"line":92,"column":26}}},"branchMap":{"1":{"line":11,"type":"if","locations":[{"start":{"line":11,"column":4},"end":{"line":11,"column":4}},{"start":{"line":11,"column":4},"end":{"line":11,"column":4}}]},"2":{"line":20,"type":"if","locations":[{"start":{"line":20,"column":4},"end":{"line":20,"column":4}},{"start":{"line":20,"column":4},"end":{"line":20,"column":4}}]},"3":{"line":27,"type":"if","locations":[{"start":{"line":27,"column":4},"end":{"line":27,"column":4}},{"start":{"line":27,"column":4},"end":{"line":27,"column":4}}]},"4":{"line":36,"type":"if","locations":[{"start":{"line":36,"column":4},"end":{"line":36,"column":4}},{"start":{"line":36,"column":4},"end":{"line":36,"column":4}}]},"5":{"line":50,"type":"if","locations":[{"start":{"line":50,"column":4},"end":{"line":50,"column":4}},{"start":{"line":50,"column":4},"end":{"line":50,"column":4}}]},"6":{"line":68,"type":"if","locations":[{"start":{"line":68,"column":4},"end":{"line":68,"column":4}},{"start":{"line":68,"column":4},"end":{"line":68,"column":4}}]},"7":{"line":85,"type":"if","locations":[{"start":{"line":85,"column":4},"end":{"line":85,"column":4}},{"start":{"line":85,"column":4},"end":{"line":85,"column":4}}]}}},"contracts/lib/Transaction.sol":{"l":{"23":36,"24":35,"25":35,"34":14,"41":16},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/lib/Transaction.sol","s":{"1":36,"2":35,"3":35,"4":14,"5":16},"b":{"1":[35,0]},"f":{"1":36,"2":14,"3":16},"fnMap":{"1":{"name":"createTransaction","line":22,"loc":{"start":{"line":22,"column":2},"end":{"line":22,"column":73}}},"2":{"name":"checkSig","line":33,"loc":{"start":{"line":33,"column":2},"end":{"line":33,"column":91}}},"3":{"name":"hashTransaction","line":37,"loc":{"start":{"line":37,"column":2},"end":{"line":40,"column":21}}}},"statementMap":{"1":{"start":{"line":23,"column":4},"end":{"line":23,"column":57}},"2":{"start":{"line":24,"column":4},"end":{"line":24,"column":52}},"3":{"start":{"line":25,"column":4},"end":{"line":25,"column":667}},"4":{"start":{"line":34,"column":4},"end":{"line":34,"column":93}},"5":{"start":{"line":41,"column":4},"end":{"line":41,"column":109}}},"branchMap":{"1":{"line":24,"type":"if","locations":[{"start":{"line":24,"column":4},"end":{"line":24,"column":4}},{"start":{"line":24,"column":4},"end":{"line":24,"column":4}}]}}},"contracts/Operable.sol":{"l":{"12":12,"13":12,"20":7,"21":7,"22":7},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/Operable.sol","s":{"1":12,"2":7,"3":7,"4":7},"b":{"1":[12,0]},"f":{"1":12,"2":7},"fnMap":{"1":{"name":"onlyOperator","line":11,"loc":{"start":{"line":11,"column":2},"end":{"line":11,"column":25}}},"2":{"name":"setOperator","line":16,"loc":{"start":{"line":16,"column":2},"end":{"line":19,"column":18}}}},"statementMap":{"1":{"start":{"line":12,"column":4},"end":{"line":12,"column":61}},"2":{"start":{"line":20,"column":4},"end":{"line":20,"column":33}},"3":{"start":{"line":21,"column":4},"end":{"line":21,"column":55}},"4":{"start":{"line":22,"column":4},"end":{"line":22,"column":15}}},"branchMap":{"1":{"line":12,"type":"if","locations":[{"start":{"line":12,"column":4},"end":{"line":12,"column":4}},{"start":{"line":12,"column":4},"end":{"line":12,"column":4}}]}}},"contracts/PlasmaCash.sol":{"l":{"63":20,"64":16,"65":16,"70":9,"71":9,"73":9,"75":9,"77":9,"78":9,"85":19,"86":19,"88":19,"89":19,"91":0,"94":19,"95":19,"96":19,"98":19,"104":12,"106":12,"107":12,"109":12,"111":12,"119":6,"121":3,"123":3,"124":2,"126":2,"128":2,"136":10,"137":10,"139":9,"141":9,"142":9,"145":9,"147":9,"154":11,"155":11,"157":11,"164":10,"166":9,"168":9,"169":9,"170":7,"171":6,"176":6,"178":2,"179":2,"181":2,"183":2,"191":16,"192":16,"193":16,"195":16,"197":16,"198":16,"199":13,"201":11,"209":19,"210":14,"216":9,"218":9,"219":9,"221":9,"223":10,"225":10,"227":5,"228":5,"230":5,"232":5,"235":10,"236":10,"238":10,"239":10,"252":3,"259":0,"260":0,"261":0,"263":0,"270":0,"272":0,"276":1},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/PlasmaCash.sol","s":{"1":20,"2":16,"3":9,"4":9,"5":9,"6":9,"7":9,"8":9,"9":19,"10":19,"11":19,"12":19,"13":0,"14":19,"15":19,"16":19,"17":19,"18":12,"19":12,"20":12,"21":12,"22":12,"23":6,"24":3,"25":3,"26":2,"27":2,"28":2,"29":10,"30":10,"31":9,"32":9,"33":9,"34":9,"35":9,"36":11,"37":11,"38":10,"39":9,"40":9,"41":9,"42":7,"43":6,"44":6,"45":2,"46":2,"47":2,"48":2,"49":16,"50":16,"51":16,"52":16,"53":16,"54":16,"55":13,"56":11,"57":19,"58":5,"59":14,"60":9,"61":9,"62":9,"63":9,"64":10,"65":10,"66":5,"67":5,"68":5,"69":10,"70":10,"71":3,"72":0,"73":0,"74":0,"75":0,"76":0,"77":0,"78":1},"b":{"1":[16,4],"2":[9,0],"3":[9,0],"4":[19,0],"5":[19,0],"6":[19,0],"7":[19,0],"8":[12,0],"9":[3,3],"10":[2,1],"11":[2,0],"12":[9,0],"13":[9,0],"14":[9,0],"15":[7,2],"16":[6,1],"17":[6,0],"18":[16,0],"19":[16,0],"20":[16,0],"21":[13,3],"22":[11,2],"23":[5,14],"24":[5,5]},"f":{"1":20,"2":9,"3":19,"4":12,"5":6,"6":10,"7":11,"8":10,"9":16,"10":19,"11":9,"12":3,"13":0,"14":0,"15":1},"fnMap":{"1":{"name":"withBond","line":62,"loc":{"start":{"line":62,"column":2},"end":{"line":62,"column":21}}},"2":{"name":null,"line":69,"loc":{"start":{"line":69,"column":2},"end":{"line":69,"column":66}}},"3":{"name":"deposit","line":82,"loc":{"start":{"line":82,"column":2},"end":{"line":84,"column":11}}},"4":{"name":"submitBlock","line":101,"loc":{"start":{"line":101,"column":2},"end":{"line":103,"column":16}}},"5":{"name":"startDepositExit","line":115,"loc":{"start":{"line":115,"column":2},"end":{"line":118,"column":11}}},"6":{"name":"startTxExit","line":131,"loc":{"start":{"line":131,"column":2},"end":{"line":134,"column":11}}},"7":{"name":"createExitAndPriority","line":151,"loc":{"start":{"line":151,"column":2},"end":{"line":153,"column":29}}},"8":{"name":"challengeExit","line":161,"loc":{"start":{"line":161,"column":2},"end":{"line":162,"column":10}}},"9":{"name":"assertProofSignaturesAndTxData","line":187,"loc":{"start":{"line":187,"column":2},"end":{"line":190,"column":18}}},"10":{"name":"getNextExit","line":205,"loc":{"start":{"line":205,"column":2},"end":{"line":208,"column":32}}},"11":{"name":"finalizeExits","line":214,"loc":{"start":{"line":214,"column":2},"end":{"line":215,"column":11}}},"12":{"name":"verifyProof","line":248,"loc":{"start":{"line":248,"column":2},"end":{"line":251,"column":18}}},"13":{"name":"proveTX","line":255,"loc":{"start":{"line":255,"column":2},"end":{"line":258,"column":18}}},"14":{"name":"proveNoTX","line":266,"loc":{"start":{"line":266,"column":2},"end":{"line":269,"column":18}}},"15":{"name":"helperTestSig","line":275,"loc":{"start":{"line":275,"column":2},"end":{"line":275,"column":94}}}},"statementMap":{"1":{"start":{"line":63,"column":4},"end":{"line":63,"column":57}},"2":{"start":{"line":64,"column":4},"end":{"line":64,"column":50}},"3":{"start":{"line":70,"column":4},"end":{"line":70,"column":62}},"4":{"start":{"line":71,"column":4},"end":{"line":71,"column":46}},"5":{"start":{"line":73,"column":4},"end":{"line":73,"column":19}},"6":{"start":{"line":75,"column":4},"end":{"line":75,"column":22}},"7":{"start":{"line":77,"column":4},"end":{"line":77,"column":39}},"8":{"start":{"line":78,"column":4},"end":{"line":78,"column":23}},"9":{"start":{"line":85,"column":4},"end":{"line":85,"column":55}},"10":{"start":{"line":86,"column":4},"end":{"line":86,"column":62}},"11":{"start":{"line":88,"column":4},"end":{"line":88,"column":2365}},"12":{"start":{"line":89,"column":6},"end":{"line":89,"column":85}},"13":{"start":{"line":91,"column":6},"end":{"line":91,"column":47}},"14":{"start":{"line":94,"column":4},"end":{"line":94,"column":31}},"15":{"start":{"line":95,"column":4},"end":{"line":95,"column":56}},"16":{"start":{"line":96,"column":4},"end":{"line":96,"column":47}},"17":{"start":{"line":98,"column":4},"end":{"line":98,"column":30}},"18":{"start":{"line":104,"column":4},"end":{"line":104,"column":81}},"19":{"start":{"line":106,"column":4},"end":{"line":106,"column":62}},"20":{"start":{"line":107,"column":4},"end":{"line":107,"column":33}},"21":{"start":{"line":109,"column":4},"end":{"line":109,"column":61}},"22":{"start":{"line":111,"column":4},"end":{"line":111,"column":43}},"23":{"start":{"line":119,"column":4},"end":{"line":119,"column":89}},"24":{"start":{"line":121,"column":4},"end":{"line":121,"column":55}},"25":{"start":{"line":123,"column":4},"end":{"line":123,"column":67}},"26":{"start":{"line":124,"column":4},"end":{"line":124,"column":54}},"27":{"start":{"line":126,"column":4},"end":{"line":126,"column":60}},"28":{"start":{"line":128,"column":4},"end":{"line":128,"column":60}},"29":{"start":{"line":136,"column":4},"end":{"line":136,"column":78}},"30":{"start":{"line":137,"column":4},"end":{"line":137,"column":73}},"31":{"start":{"line":139,"column":4},"end":{"line":139,"column":104}},"32":{"start":{"line":141,"column":4},"end":{"line":141,"column":66}},"33":{"start":{"line":142,"column":4},"end":{"line":142,"column":55}},"34":{"start":{"line":145,"column":4},"end":{"line":145,"column":93}},"35":{"start":{"line":147,"column":4},"end":{"line":147,"column":93}},"36":{"start":{"line":154,"column":4},"end":{"line":154,"column":50}},"37":{"start":{"line":155,"column":4},"end":{"line":155,"column":71}},"38":{"start":{"line":164,"column":4},"end":{"line":164,"column":78}},"39":{"start":{"line":166,"column":4},"end":{"line":166,"column":83}},"40":{"start":{"line":168,"column":4},"end":{"line":168,"column":87}},"41":{"start":{"line":169,"column":4},"end":{"line":169,"column":68}},"42":{"start":{"line":170,"column":4},"end":{"line":170,"column":55}},"43":{"start":{"line":171,"column":4},"end":{"line":171,"column":97}},"44":{"start":{"line":176,"column":4},"end":{"line":176,"column":79}},"45":{"start":{"line":178,"column":4},"end":{"line":178,"column":25}},"46":{"start":{"line":179,"column":4},"end":{"line":179,"column":50}},"47":{"start":{"line":181,"column":4},"end":{"line":181,"column":35}},"48":{"start":{"line":183,"column":4},"end":{"line":183,"column":93}},"49":{"start":{"line":191,"column":4},"end":{"line":191,"column":78}},"50":{"start":{"line":192,"column":4},"end":{"line":192,"column":121}},"51":{"start":{"line":193,"column":4},"end":{"line":193,"column":106}},"52":{"start":{"line":195,"column":4},"end":{"line":195,"column":58}},"53":{"start":{"line":197,"column":4},"end":{"line":197,"column":70}},"54":{"start":{"line":198,"column":4},"end":{"line":198,"column":142}},"55":{"start":{"line":199,"column":4},"end":{"line":199,"column":92}},"56":{"start":{"line":201,"column":4},"end":{"line":201,"column":15}},"57":{"start":{"line":209,"column":4},"end":{"line":209,"column":61}},"58":{"start":{"line":209,"column":53},"end":{"line":209,"column":61}},"59":{"start":{"line":210,"column":4},"end":{"line":210,"column":49}},"60":{"start":{"line":216,"column":4},"end":{"line":216,"column":38}},"61":{"start":{"line":218,"column":4},"end":{"line":218,"column":50}},"62":{"start":{"line":219,"column":4},"end":{"line":219,"column":54}},"63":{"start":{"line":221,"column":4},"end":{"line":221,"column":7002}},"64":{"start":{"line":223,"column":6},"end":{"line":223,"column":52}},"65":{"start":{"line":225,"column":6},"end":{"line":225,"column":7122}},"66":{"start":{"line":227,"column":8},"end":{"line":227,"column":48}},"67":{"start":{"line":228,"column":8},"end":{"line":228,"column":42}},"68":{"start":{"line":230,"column":8},"end":{"line":230,"column":80}},"69":{"start":{"line":238,"column":6},"end":{"line":238,"column":44}},"70":{"start":{"line":239,"column":6},"end":{"line":239,"column":44}},"71":{"start":{"line":252,"column":4},"end":{"line":252,"column":51}},"72":{"start":{"line":259,"column":4},"end":{"line":259,"column":46}},"73":{"start":{"line":260,"column":4},"end":{"line":260,"column":87}},"74":{"start":{"line":261,"column":4},"end":{"line":261,"column":58}},"75":{"start":{"line":263,"column":4},"end":{"line":263,"column":82}},"76":{"start":{"line":270,"column":4},"end":{"line":270,"column":46}},"77":{"start":{"line":272,"column":4},"end":{"line":272,"column":70}},"78":{"start":{"line":276,"column":4},"end":{"line":276,"column":52}}},"branchMap":{"1":{"line":63,"type":"if","locations":[{"start":{"line":63,"column":4},"end":{"line":63,"column":4}},{"start":{"line":63,"column":4},"end":{"line":63,"column":4}}]},"2":{"line":70,"type":"if","locations":[{"start":{"line":70,"column":4},"end":{"line":70,"column":4}},{"start":{"line":70,"column":4},"end":{"line":70,"column":4}}]},"3":{"line":71,"type":"if","locations":[{"start":{"line":71,"column":4},"end":{"line":71,"column":4}},{"start":{"line":71,"column":4},"end":{"line":71,"column":4}}]},"4":{"line":85,"type":"if","locations":[{"start":{"line":85,"column":4},"end":{"line":85,"column":4}},{"start":{"line":85,"column":4},"end":{"line":85,"column":4}}]},"5":{"line":86,"type":"if","locations":[{"start":{"line":86,"column":4},"end":{"line":86,"column":4}},{"start":{"line":86,"column":4},"end":{"line":86,"column":4}}]},"6":{"line":88,"type":"if","locations":[{"start":{"line":88,"column":4},"end":{"line":88,"column":4}},{"start":{"line":88,"column":4},"end":{"line":88,"column":4}}]},"7":{"line":89,"type":"if","locations":[{"start":{"line":89,"column":6},"end":{"line":89,"column":6}},{"start":{"line":89,"column":6},"end":{"line":89,"column":6}}]},"8":{"line":104,"type":"if","locations":[{"start":{"line":104,"column":4},"end":{"line":104,"column":4}},{"start":{"line":104,"column":4},"end":{"line":104,"column":4}}]},"9":{"line":119,"type":"if","locations":[{"start":{"line":119,"column":4},"end":{"line":119,"column":4}},{"start":{"line":119,"column":4},"end":{"line":119,"column":4}}]},"10":{"line":123,"type":"if","locations":[{"start":{"line":123,"column":4},"end":{"line":123,"column":4}},{"start":{"line":123,"column":4},"end":{"line":123,"column":4}}]},"11":{"line":124,"type":"if","locations":[{"start":{"line":124,"column":4},"end":{"line":124,"column":4}},{"start":{"line":124,"column":4},"end":{"line":124,"column":4}}]},"12":{"line":139,"type":"if","locations":[{"start":{"line":139,"column":4},"end":{"line":139,"column":4}},{"start":{"line":139,"column":4},"end":{"line":139,"column":4}}]},"13":{"line":142,"type":"if","locations":[{"start":{"line":142,"column":4},"end":{"line":142,"column":4}},{"start":{"line":142,"column":4},"end":{"line":142,"column":4}}]},"14":{"line":166,"type":"if","locations":[{"start":{"line":166,"column":4},"end":{"line":166,"column":4}},{"start":{"line":166,"column":4},"end":{"line":166,"column":4}}]},"15":{"line":169,"type":"if","locations":[{"start":{"line":169,"column":4},"end":{"line":169,"column":4}},{"start":{"line":169,"column":4},"end":{"line":169,"column":4}}]},"16":{"line":170,"type":"if","locations":[{"start":{"line":170,"column":4},"end":{"line":170,"column":4}},{"start":{"line":170,"column":4},"end":{"line":170,"column":4}}]},"17":{"line":171,"type":"if","locations":[{"start":{"line":171,"column":4},"end":{"line":171,"column":4}},{"start":{"line":171,"column":4},"end":{"line":171,"column":4}}]},"18":{"line":192,"type":"if","locations":[{"start":{"line":192,"column":4},"end":{"line":192,"column":4}},{"start":{"line":192,"column":4},"end":{"line":192,"column":4}}]},"19":{"line":193,"type":"if","locations":[{"start":{"line":193,"column":4},"end":{"line":193,"column":4}},{"start":{"line":193,"column":4},"end":{"line":193,"column":4}}]},"20":{"line":197,"type":"if","locations":[{"start":{"line":197,"column":4},"end":{"line":197,"column":4}},{"start":{"line":197,"column":4},"end":{"line":197,"column":4}}]},"21":{"line":198,"type":"if","locations":[{"start":{"line":198,"column":4},"end":{"line":198,"column":4}},{"start":{"line":198,"column":4},"end":{"line":198,"column":4}}]},"22":{"line":199,"type":"if","locations":[{"start":{"line":199,"column":4},"end":{"line":199,"column":4}},{"start":{"line":199,"column":4},"end":{"line":199,"column":4}}]},"23":{"line":209,"type":"if","locations":[{"start":{"line":209,"column":4},"end":{"line":209,"column":4}},{"start":{"line":209,"column":4},"end":{"line":209,"column":4}}]},"24":{"line":225,"type":"if","locations":[{"start":{"line":225,"column":6},"end":{"line":225,"column":6}},{"start":{"line":225,"column":6},"end":{"line":225,"column":6}}]}}},"contracts/Withdrawable.sol":{"l":{"18":3,"19":3,"21":3,"22":3,"24":3,"30":23,"31":8,"33":8,"34":8,"35":8},"path":"/Users/dzariusz/lucidity/dev/lucidity-plasma-cash/contracts/Withdrawable.sol","s":{"1":3,"2":3,"3":3,"4":3,"5":23,"6":15,"7":8,"8":8,"9":8,"10":8},"b":{"1":[3,0],"2":[15,8],"3":[8,0]},"f":{"1":3,"2":23},"fnMap":{"1":{"name":"withdraw","line":16,"loc":{"start":{"line":16,"column":2},"end":{"line":17,"column":10}}},"2":{"name":"addBalance","line":27,"loc":{"start":{"line":27,"column":2},"end":{"line":29,"column":18}}}},"statementMap":{"1":{"start":{"line":18,"column":4},"end":{"line":18,"column":40}},"2":{"start":{"line":19,"column":4},"end":{"line":19,"column":43}},"3":{"start":{"line":21,"column":4},"end":{"line":21,"column":27}},"4":{"start":{"line":24,"column":4},"end":{"line":24,"column":40}},"5":{"start":{"line":30,"column":4},"end":{"line":30,"column":34}},"6":{"start":{"line":30,"column":22},"end":{"line":30,"column":34}},"7":{"start":{"line":31,"column":4},"end":{"line":31,"column":63}},"8":{"start":{"line":33,"column":4},"end":{"line":33,"column":57}},"9":{"start":{"line":34,"column":4},"end":{"line":34,"column":42}},"10":{"start":{"line":35,"column":4},"end":{"line":35,"column":15}}},"branchMap":{"1":{"line":19,"type":"if","locations":[{"start":{"line":19,"column":4},"end":{"line":19,"column":4}},{"start":{"line":19,"column":4},"end":{"line":19,"column":4}}]},"2":{"line":30,"type":"if","locations":[{"start":{"line":30,"column":4},"end":{"line":30,"column":4}},{"start":{"line":30,"column":4},"end":{"line":30,"column":4}}]},"3":{"line":31,"type":"if","locations":[{"start":{"line":31,"column":4},"end":{"line":31,"column":4}},{"start":{"line":31,"column":4},"end":{"line":31,"column":4}}]}}}}