coverage.json

{"contracts/BaseSystem.sol":{"l":{"21":11,"22":7,"26":522,"27":522},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/BaseSystem.sol","s":{"1":11,"2":522,"3":522},"b":{"1":[7,4]},"f":{"1":11,"2":522},"fnMap":{"1":{"name":"onlyCore","line":20,"loc":{"start":{"line":20,"column":4},"end":{"line":23,"column":4}}},"2":{"name":"constructor","line":25,"loc":{"start":{"line":25,"column":4},"end":{"line":28,"column":4}}}},"statementMap":{"1":{"start":{"line":21,"column":8},"end":{"line":21,"column":74}},"2":{"start":{"line":26,"column":8},"end":{"line":26,"column":24}},"3":{"start":{"line":27,"column":8},"end":{"line":27,"column":27}}},"branchMap":{"1":{"line":21,"type":"if","locations":[{"start":{"line":21,"column":8},"end":{"line":21,"column":8}},{"start":{"line":21,"column":8},"end":{"line":21,"column":8}}]}}},"contracts/Coordinator.sol":{"l":{"38":0,"40":0,"43":0,"47":0,"50":0,"57":0,"65":0,"67":0,"71":0,"73":0,"80":0,"91":0,"93":0,"102":22,"110":50,"111":50,"113":50,"120":50,"124":50,"138":48,"139":17,"147":30,"148":30,"150":30,"152":29,"156":10,"157":10,"159":10,"163":10,"168":9,"172":9,"174":3,"177":2,"180":4,"185":7,"187":7,"190":7,"195":7,"202":7,"212":3},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/Coordinator.sol","s":{"1":0,"2":0,"3":0,"4":0,"5":0,"6":0,"7":0,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0,"14":22,"15":50,"16":50,"17":50,"18":50,"19":50,"20":48,"21":17,"22":30,"23":30,"24":30,"25":29,"26":10,"27":10,"28":10,"29":10,"30":9,"31":9,"32":3,"33":6,"34":2,"35":4,"36":7,"37":7,"38":7,"39":7,"40":7,"41":3},"b":{"1":[0,0],"2":[0,0],"3":[0,0],"4":[50,0],"5":[48,2],"6":[17,31],"7":[29,1],"8":[9,1],"9":[3,6],"10":[2,4],"11":[7,0],"12":[3,4]},"f":{"1":87,"2":0,"3":0,"4":22,"5":50,"6":30,"7":10,"8":7},"fnMap":{"1":{"name":"constructor","line":19,"loc":{"start":{"line":18,"column":4},"end":{"line":20,"column":5}}},"2":{"name":"isExecutable","line":37,"loc":{"start":{"line":37,"column":4},"end":{"line":68,"column":4}}},"3":{"name":"isVotable","line":70,"loc":{"start":{"line":70,"column":4},"end":{"line":94,"column":4}}},"4":{"name":"getSubSystem","line":96,"loc":{"start":{"line":96,"column":4},"end":{"line":103,"column":4}}},"5":{"name":"voting","line":109,"loc":{"start":{"line":109,"column":4},"end":{"line":141,"column":4}}},"6":{"name":"addSubSystem","line":143,"loc":{"start":{"line":143,"column":4},"end":{"line":153,"column":4}}},"7":{"name":"queueProposal","line":155,"loc":{"start":{"line":155,"column":4},"end":{"line":182,"column":4}}},"8":{"name":"setExecute","line":184,"loc":{"start":{"line":184,"column":4},"end":{"line":213,"column":4}}}},"statementMap":{"1":{"start":{"line":38,"column":8},"end":{"line":38,"column":68}},"2":{"start":{"line":40,"column":8},"end":{"line":40,"column":58}},"3":{"start":{"line":43,"column":8},"end":{"line":43,"column":1800}},"4":{"start":{"line":47,"column":12},"end":{"line":47,"column":24}},"5":{"start":{"line":50,"column":8},"end":{"line":50,"column":2114}},"6":{"start":{"line":57,"column":8},"end":{"line":57,"column":2250}},"7":{"start":{"line":65,"column":12},"end":{"line":65,"column":23}},"8":{"start":{"line":67,"column":8},"end":{"line":67,"column":20}},"9":{"start":{"line":71,"column":8},"end":{"line":71,"column":68}},"10":{"start":{"line":73,"column":8},"end":{"line":73,"column":2781}},"11":{"start":{"line":80,"column":8},"end":{"line":80,"column":2934}},"12":{"start":{"line":91,"column":12},"end":{"line":91,"column":23}},"13":{"start":{"line":93,"column":8},"end":{"line":93,"column":20}},"14":{"start":{"line":102,"column":8},"end":{"line":102,"column":51}},"15":{"start":{"line":110,"column":8},"end":{"line":110,"column":68}},"16":{"start":{"line":111,"column":8},"end":{"line":111,"column":76}},"17":{"start":{"line":113,"column":8},"end":{"line":113,"column":4081}},"18":{"start":{"line":120,"column":8},"end":{"line":120,"column":4242}},"19":{"start":{"line":124,"column":8},"end":{"line":124,"column":4360}},"20":{"start":{"line":138,"column":8},"end":{"line":138,"column":4910}},"21":{"start":{"line":139,"column":12},"end":{"line":139,"column":43}},"22":{"start":{"line":147,"column":8},"end":{"line":147,"column":64}},"23":{"start":{"line":148,"column":8},"end":{"line":148,"column":64}},"24":{"start":{"line":150,"column":8},"end":{"line":150,"column":77}},"25":{"start":{"line":152,"column":8},"end":{"line":152,"column":67}},"26":{"start":{"line":156,"column":8},"end":{"line":156,"column":76}},"27":{"start":{"line":157,"column":8},"end":{"line":157,"column":68}},"28":{"start":{"line":159,"column":8},"end":{"line":159,"column":5675}},"29":{"start":{"line":163,"column":8},"end":{"line":163,"column":5753}},"30":{"start":{"line":168,"column":8},"end":{"line":168,"column":5894}},"31":{"start":{"line":172,"column":8},"end":{"line":172,"column":5999}},"32":{"start":{"line":174,"column":12},"end":{"line":174,"column":43}},"33":{"start":{"line":175,"column":15},"end":{"line":175,"column":6135}},"34":{"start":{"line":177,"column":12},"end":{"line":177,"column":45}},"35":{"start":{"line":180,"column":12},"end":{"line":180,"column":43}},"36":{"start":{"line":185,"column":8},"end":{"line":185,"column":68}},"37":{"start":{"line":187,"column":8},"end":{"line":187,"column":58}},"38":{"start":{"line":190,"column":8},"end":{"line":190,"column":61}},"39":{"start":{"line":195,"column":8},"end":{"line":195,"column":6947}},"40":{"start":{"line":202,"column":8},"end":{"line":202,"column":7070}},"41":{"start":{"line":212,"column":8},"end":{"line":212,"column":40}}},"branchMap":{"1":{"line":43,"type":"if","locations":[{"start":{"line":43,"column":8},"end":{"line":43,"column":8}},{"start":{"line":43,"column":8},"end":{"line":43,"column":8}}]},"2":{"line":57,"type":"if","locations":[{"start":{"line":57,"column":8},"end":{"line":57,"column":8}},{"start":{"line":57,"column":8},"end":{"line":57,"column":8}}]},"3":{"line":80,"type":"if","locations":[{"start":{"line":80,"column":8},"end":{"line":80,"column":8}},{"start":{"line":80,"column":8},"end":{"line":80,"column":8}}]},"4":{"line":120,"type":"if","locations":[{"start":{"line":120,"column":8},"end":{"line":120,"column":8}},{"start":{"line":120,"column":8},"end":{"line":120,"column":8}}]},"5":{"line":124,"type":"if","locations":[{"start":{"line":124,"column":8},"end":{"line":124,"column":8}},{"start":{"line":124,"column":8},"end":{"line":124,"column":8}}]},"6":{"line":138,"type":"if","locations":[{"start":{"line":138,"column":8},"end":{"line":138,"column":8}},{"start":{"line":138,"column":8},"end":{"line":138,"column":8}}]},"7":{"line":150,"type":"if","locations":[{"start":{"line":150,"column":8},"end":{"line":150,"column":8}},{"start":{"line":150,"column":8},"end":{"line":150,"column":8}}]},"8":{"line":163,"type":"if","locations":[{"start":{"line":163,"column":8},"end":{"line":163,"column":8}},{"start":{"line":163,"column":8},"end":{"line":163,"column":8}}]},"9":{"line":172,"type":"if","locations":[{"start":{"line":172,"column":8},"end":{"line":172,"column":8}},{"start":{"line":172,"column":8},"end":{"line":172,"column":8}}]},"10":{"line":175,"type":"if","locations":[{"start":{"line":175,"column":15},"end":{"line":175,"column":15}},{"start":{"line":175,"column":15},"end":{"line":175,"column":15}}]},"11":{"line":190,"type":"if","locations":[{"start":{"line":190,"column":8},"end":{"line":190,"column":8}},{"start":{"line":190,"column":8},"end":{"line":190,"column":8}}]},"12":{"line":202,"type":"if","locations":[{"start":{"line":202,"column":8},"end":{"line":202,"column":8}},{"start":{"line":202,"column":8},"end":{"line":202,"column":8}}]}}},"contracts/Core.sol":{"l":{"42":6,"43":3,"57":29,"58":29,"59":29,"60":29,"61":29,"69":546,"85":7,"87":7,"89":3,"91":3,"98":3,"99":7,"100":7,"112":1,"113":1,"115":1,"119":1,"120":1,"122":1,"126":1,"128":1,"136":148,"138":148},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/Core.sol","s":{"1":6,"2":29,"3":29,"4":29,"5":29,"6":29,"7":546,"8":7,"9":7,"10":3,"11":3,"12":3,"13":7,"14":7,"15":1,"16":1,"17":1,"18":1,"19":1,"20":1,"21":1,"22":1,"23":148,"24":148},"b":{"1":[3,3],"2":[7,0],"3":[1,0],"4":[1,0],"5":[1,0],"6":[1,0],"7":[1,0]},"f":{"1":6,"2":29,"3":546,"4":7,"5":1,"6":1,"7":1,"8":148},"fnMap":{"1":{"name":"onlyCore","line":41,"loc":{"start":{"line":41,"column":4},"end":{"line":44,"column":4}}},"2":{"name":"initialise","line":56,"loc":{"start":{"line":50,"column":4},"end":{"line":62,"column":4}}},"3":{"name":"getInstance","line":68,"loc":{"start":{"line":68,"column":4},"end":{"line":70,"column":4}}},"4":{"name":"execute","line":83,"loc":{"start":{"line":83,"column":4},"end":{"line":102,"column":4}}},"5":{"name":"addContract","line":111,"loc":{"start":{"line":111,"column":4},"end":{"line":116,"column":4}}},"6":{"name":"updateContract","line":118,"loc":{"start":{"line":118,"column":4},"end":{"line":123,"column":4}}},"7":{"name":"deleteContract","line":125,"loc":{"start":{"line":125,"column":4},"end":{"line":129,"column":4}}},"8":{"name":"_addContract","line":135,"loc":{"start":{"line":135,"column":4},"end":{"line":139,"column":4}}}},"statementMap":{"1":{"start":{"line":42,"column":8},"end":{"line":42,"column":73}},"2":{"start":{"line":57,"column":8},"end":{"line":57,"column":42}},"3":{"start":{"line":58,"column":8},"end":{"line":58,"column":46}},"4":{"start":{"line":59,"column":8},"end":{"line":59,"column":42}},"5":{"start":{"line":60,"column":8},"end":{"line":60,"column":53}},"6":{"start":{"line":61,"column":8},"end":{"line":61,"column":53}},"7":{"start":{"line":69,"column":8},"end":{"line":69,"column":31}},"8":{"start":{"line":85,"column":8},"end":{"line":85,"column":62}},"9":{"start":{"line":87,"column":8},"end":{"line":87,"column":31}},"10":{"start":{"line":89,"column":8},"end":{"line":89,"column":54}},"11":{"start":{"line":91,"column":8},"end":{"line":91,"column":3308}},"12":{"start":{"line":98,"column":8},"end":{"line":98,"column":3488}},"13":{"start":{"line":99,"column":12},"end":{"line":99,"column":77}},"14":{"start":{"line":100,"column":12},"end":{"line":100,"column":47}},"15":{"start":{"line":112,"column":8},"end":{"line":112,"column":77}},"16":{"start":{"line":113,"column":8},"end":{"line":113,"column":69}},"17":{"start":{"line":115,"column":8},"end":{"line":115,"column":36}},"18":{"start":{"line":119,"column":8},"end":{"line":119,"column":76}},"19":{"start":{"line":120,"column":8},"end":{"line":120,"column":72}},"20":{"start":{"line":122,"column":8},"end":{"line":122,"column":36}},"21":{"start":{"line":126,"column":8},"end":{"line":126,"column":71}},"22":{"start":{"line":128,"column":8},"end":{"line":128,"column":37}},"23":{"start":{"line":136,"column":8},"end":{"line":136,"column":69}},"24":{"start":{"line":138,"column":8},"end":{"line":138,"column":35}}},"branchMap":{"1":{"line":42,"type":"if","locations":[{"start":{"line":42,"column":8},"end":{"line":42,"column":8}},{"start":{"line":42,"column":8},"end":{"line":42,"column":8}}]},"2":{"line":100,"type":"if","locations":[{"start":{"line":100,"column":12},"end":{"line":100,"column":12}},{"start":{"line":100,"column":12},"end":{"line":100,"column":12}}]},"3":{"line":112,"type":"if","locations":[{"start":{"line":112,"column":8},"end":{"line":112,"column":8}},{"start":{"line":112,"column":8},"end":{"line":112,"column":8}}]},"4":{"line":113,"type":"if","locations":[{"start":{"line":113,"column":8},"end":{"line":113,"column":8}},{"start":{"line":113,"column":8},"end":{"line":113,"column":8}}]},"5":{"line":119,"type":"if","locations":[{"start":{"line":119,"column":8},"end":{"line":119,"column":8}},{"start":{"line":119,"column":8},"end":{"line":119,"column":8}}]},"6":{"line":120,"type":"if","locations":[{"start":{"line":120,"column":8},"end":{"line":120,"column":8}},{"start":{"line":120,"column":8},"end":{"line":120,"column":8}}]},"7":{"line":126,"type":"if","locations":[{"start":{"line":126,"column":8},"end":{"line":126,"column":8}},{"start":{"line":126,"column":8},"end":{"line":126,"column":8}}]}}},"contracts/CoreLib.sol":{"l":{},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/CoreLib.sol","s":{},"b":{},"f":{},"fnMap":{},"statementMap":{},"branchMap":{}},"contracts/Executables.sol":{"l":{"49":4,"50":4,"51":4,"65":0,"66":0,"67":0,"68":0,"69":0,"78":42,"93":26,"100":22,"102":22,"103":45,"109":22,"111":22,"116":22,"124":22,"134":22,"138":21,"143":20,"150":20,"155":20,"163":20,"165":20},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/Executables.sol","s":{"1":4,"2":4,"3":4,"4":0,"5":0,"6":0,"7":0,"8":0,"9":42,"10":26,"11":22,"12":22,"13":45,"14":22,"15":22,"16":22,"17":22,"18":22,"19":21,"20":20,"21":20,"22":20,"23":20,"24":20},"b":{"1":[22,4],"2":[22,0],"3":[21,1],"4":[20,1],"5":[20,0]},"f":{"1":87,"2":4,"3":0,"4":42,"5":26,"6":22},"fnMap":{"1":{"name":"constructor","line":32,"loc":{"start":{"line":31,"column":4},"end":{"line":33,"column":5}}},"2":{"name":"getExe","line":39,"loc":{"start":{"line":39,"column":4},"end":{"line":52,"column":4}}},"3":{"name":"getExeInfo","line":54,"loc":{"start":{"line":54,"column":4},"end":{"line":70,"column":4}}},"4":{"name":"getExeId","line":72,"loc":{"start":{"line":72,"column":4},"end":{"line":80,"column":4}}},"5":{"name":"createExe","line":86,"loc":{"start":{"line":86,"column":4},"end":{"line":127,"column":4}}},"6":{"name":"createPropExe","line":129,"loc":{"start":{"line":129,"column":4},"end":{"line":166,"column":4}}}},"statementMap":{"1":{"start":{"line":49,"column":8},"end":{"line":49,"column":40}},"2":{"start":{"line":50,"column":8},"end":{"line":50,"column":42}},"3":{"start":{"line":51,"column":8},"end":{"line":51,"column":38}},"4":{"start":{"line":65,"column":8},"end":{"line":65,"column":40}},"5":{"start":{"line":66,"column":8},"end":{"line":66,"column":42}},"6":{"start":{"line":67,"column":8},"end":{"line":67,"column":38}},"7":{"start":{"line":68,"column":8},"end":{"line":68,"column":48}},"8":{"start":{"line":69,"column":8},"end":{"line":69,"column":40}},"9":{"start":{"line":78,"column":8},"end":{"line":78,"column":2401}},"10":{"start":{"line":93,"column":8},"end":{"line":93,"column":2898}},"11":{"start":{"line":100,"column":8},"end":{"line":100,"column":71}},"12":{"start":{"line":102,"column":8},"end":{"line":102,"column":3281}},"13":{"start":{"line":103,"column":12},"end":{"line":103,"column":3345}},"14":{"start":{"line":109,"column":8},"end":{"line":109,"column":75}},"15":{"start":{"line":111,"column":8},"end":{"line":111,"column":3599}},"16":{"start":{"line":116,"column":8},"end":{"line":116,"column":3720}},"17":{"start":{"line":124,"column":8},"end":{"line":124,"column":58}},"18":{"start":{"line":134,"column":8},"end":{"line":134,"column":4200}},"19":{"start":{"line":138,"column":8},"end":{"line":138,"column":4326}},"20":{"start":{"line":143,"column":8},"end":{"line":143,"column":4444}},"21":{"start":{"line":150,"column":8},"end":{"line":150,"column":4622}},"22":{"start":{"line":155,"column":8},"end":{"line":155,"column":4747}},"23":{"start":{"line":163,"column":8},"end":{"line":163,"column":77}},"24":{"start":{"line":165,"column":8},"end":{"line":165,"column":24}}},"branchMap":{"1":{"line":93,"type":"if","locations":[{"start":{"line":93,"column":8},"end":{"line":93,"column":8}},{"start":{"line":93,"column":8},"end":{"line":93,"column":8}}]},"2":{"line":111,"type":"if","locations":[{"start":{"line":111,"column":8},"end":{"line":111,"column":8}},{"start":{"line":111,"column":8},"end":{"line":111,"column":8}}]},"3":{"line":134,"type":"if","locations":[{"start":{"line":134,"column":8},"end":{"line":134,"column":8}},{"start":{"line":134,"column":8},"end":{"line":134,"column":8}}]},"4":{"line":138,"type":"if","locations":[{"start":{"line":138,"column":8},"end":{"line":138,"column":8}},{"start":{"line":138,"column":8},"end":{"line":138,"column":8}}]},"5":{"line":150,"type":"if","locations":[{"start":{"line":150,"column":8},"end":{"line":150,"column":8}},{"start":{"line":150,"column":8},"end":{"line":150,"column":8}}]}}},"contracts/openZeppelin/Initializable.sol":{"l":{"45":609,"53":120,"57":116,"59":116,"61":116,"62":116,"63":116,"66":116,"68":116,"69":116},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/openZeppelin/Initializable.sol","s":{"1":609,"2":120,"3":116,"4":116,"5":116,"6":116,"7":116,"8":116,"9":116},"b":{"1":[116,4],"2":[116,0],"3":[116,0],"4":[116,0]},"f":{"1":609,"2":120},"fnMap":{"1":{"name":"constructor","line":44,"loc":{"start":{"line":44,"column":4},"end":{"line":46,"column":4}}},"2":{"name":"initializer","line":52,"loc":{"start":{"line":52,"column":4},"end":{"line":71,"column":4}}}},"statementMap":{"1":{"start":{"line":45,"column":8},"end":{"line":45,"column":29}},"2":{"start":{"line":53,"column":8},"end":{"line":53,"column":2333}},"3":{"start":{"line":57,"column":8},"end":{"line":57,"column":71}},"4":{"start":{"line":59,"column":8},"end":{"line":59,"column":44}},"5":{"start":{"line":61,"column":8},"end":{"line":61,"column":2571}},"6":{"start":{"line":62,"column":12},"end":{"line":62,"column":31}},"7":{"start":{"line":63,"column":12},"end":{"line":63,"column":30}},"8":{"start":{"line":68,"column":8},"end":{"line":68,"column":2691}},"9":{"start":{"line":69,"column":12},"end":{"line":69,"column":32}}},"branchMap":{"1":{"line":53,"type":"if","locations":[{"start":{"line":53,"column":8},"end":{"line":53,"column":8}},{"start":{"line":53,"column":8},"end":{"line":53,"column":8}}]},"2":{"line":57,"type":"if","locations":[{"start":{"line":57,"column":8},"end":{"line":57,"column":8}},{"start":{"line":57,"column":8},"end":{"line":57,"column":8}}]},"3":{"line":61,"type":"if","locations":[{"start":{"line":61,"column":8},"end":{"line":61,"column":8}},{"start":{"line":61,"column":8},"end":{"line":61,"column":8}}]},"4":{"line":68,"type":"if","locations":[{"start":{"line":68,"column":8},"end":{"line":68,"column":8}},{"start":{"line":68,"column":8},"end":{"line":68,"column":8}}]}}},"contracts/Proposals.sol":{"l":{"42":34,"43":34,"44":29,"60":29,"61":29,"66":29,"67":29,"68":29,"76":61,"80":0,"84":8,"100":0,"122":104,"139":22,"140":22,"142":22,"143":22,"145":22,"150":22,"152":21,"156":21,"162":20,"163":20,"165":20,"167":20,"176":20,"178":20,"199":0,"200":0,"216":0,"221":0,"222":0,"231":17,"236":17,"247":3,"252":3,"253":3,"264":2,"269":2,"270":2,"283":4,"288":4,"302":3,"307":3,"308":3},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/Proposals.sol","s":{"1":34,"2":34,"3":29,"4":29,"5":29,"6":29,"7":29,"8":61,"9":0,"10":8,"11":0,"12":104,"13":22,"14":22,"15":22,"16":22,"17":22,"18":22,"19":21,"20":21,"21":20,"22":20,"23":20,"24":20,"25":20,"26":20,"27":0,"28":0,"29":0,"30":0,"31":0,"32":17,"33":17,"34":3,"35":3,"36":3,"37":2,"38":2,"39":2,"40":4,"41":4,"42":3,"43":3,"44":3},"b":{"1":[29,5],"2":[29,0],"3":[29,0],"4":[21,1],"5":[20,0],"6":[20,0],"7":[0,0],"8":[0,0],"9":[17,0],"10":[3,0],"11":[2,0],"12":[4,0],"13":[3,0]},"f":{"1":34,"2":87,"3":29,"4":61,"5":0,"6":8,"7":0,"8":104,"9":22,"10":0,"11":0,"12":17,"13":3,"14":2,"15":4,"16":3},"fnMap":{"1":{"name":"onlyCoord","line":41,"loc":{"start":{"line":41,"column":4},"end":{"line":45,"column":4}}},"2":{"name":"constructor","line":52,"loc":{"start":{"line":51,"column":4},"end":{"line":53,"column":5}}},"3":{"name":"initialise","line":59,"loc":{"start":{"line":55,"column":4},"end":{"line":69,"column":4}}},"4":{"name":"getVoteType","line":75,"loc":{"start":{"line":75,"column":4},"end":{"line":77,"column":4}}},"5":{"name":"getExeOfProp","line":79,"loc":{"start":{"line":79,"column":4},"end":{"line":81,"column":4}}},"6":{"name":"getPropOfExe","line":83,"loc":{"start":{"line":83,"column":4},"end":{"line":85,"column":4}}},"7":{"name":"getProposalInfo","line":87,"loc":{"start":{"line":87,"column":4},"end":{"line":109,"column":4}}},"8":{"name":"getPropVotables","line":111,"loc":{"start":{"line":111,"column":4},"end":{"line":128,"column":4}}},"9":{"name":"createPropWithExe","line":134,"loc":{"start":{"line":134,"column":4},"end":{"line":181,"column":4}}},"10":{"name":"updateMinDelay","line":198,"loc":{"start":{"line":198,"column":4},"end":{"line":201,"column":4}}},"11":{"name":"updateDelays","line":214,"loc":{"start":{"line":212,"column":4},"end":{"line":223,"column":4}}},"12":{"name":"propVoting","line":230,"loc":{"start":{"line":230,"column":4},"end":{"line":237,"column":4}}},"13":{"name":"propExpire","line":246,"loc":{"start":{"line":246,"column":4},"end":{"line":254,"column":4}}},"14":{"name":"propDefeated","line":263,"loc":{"start":{"line":263,"column":4},"end":{"line":271,"column":4}}},"15":{"name":"propQueued","line":282,"loc":{"start":{"line":282,"column":4},"end":{"line":289,"column":4}}},"16":{"name":"propExecuted","line":301,"loc":{"start":{"line":301,"column":4},"end":{"line":309,"column":4}}}},"statementMap":{"1":{"start":{"line":42,"column":8},"end":{"line":42,"column":64}},"2":{"start":{"line":43,"column":8},"end":{"line":43,"column":72}},"3":{"start":{"line":60,"column":8},"end":{"line":60,"column":56}},"4":{"start":{"line":61,"column":8},"end":{"line":61,"column":1895}},"5":{"start":{"line":66,"column":8},"end":{"line":66,"column":28}},"6":{"start":{"line":67,"column":8},"end":{"line":67,"column":36}},"7":{"start":{"line":68,"column":8},"end":{"line":68,"column":32}},"8":{"start":{"line":76,"column":8},"end":{"line":76,"column":39}},"9":{"start":{"line":80,"column":8},"end":{"line":80,"column":36}},"10":{"start":{"line":84,"column":8},"end":{"line":84,"column":33}},"11":{"start":{"line":100,"column":8},"end":{"line":100,"column":3033}},"12":{"start":{"line":122,"column":8},"end":{"line":122,"column":3567}},"13":{"start":{"line":139,"column":8},"end":{"line":139,"column":63}},"14":{"start":{"line":140,"column":8},"end":{"line":140,"column":71}},"15":{"start":{"line":142,"column":8},"end":{"line":142,"column":26}},"16":{"start":{"line":143,"column":8},"end":{"line":143,"column":30}},"17":{"start":{"line":145,"column":8},"end":{"line":145,"column":4311}},"18":{"start":{"line":150,"column":8},"end":{"line":150,"column":65}},"19":{"start":{"line":152,"column":8},"end":{"line":152,"column":4522}},"20":{"start":{"line":156,"column":8},"end":{"line":156,"column":4644}},"21":{"start":{"line":162,"column":8},"end":{"line":162,"column":67}},"22":{"start":{"line":163,"column":8},"end":{"line":163,"column":77}},"23":{"start":{"line":165,"column":8},"end":{"line":165,"column":62}},"24":{"start":{"line":167,"column":8},"end":{"line":167,"column":4994}},"25":{"start":{"line":176,"column":8},"end":{"line":176,"column":37}},"26":{"start":{"line":178,"column":8},"end":{"line":178,"column":53}},"27":{"start":{"line":199,"column":8},"end":{"line":199,"column":53}},"28":{"start":{"line":200,"column":8},"end":{"line":200,"column":26}},"29":{"start":{"line":216,"column":8},"end":{"line":216,"column":6931}},"30":{"start":{"line":221,"column":8},"end":{"line":221,"column":36}},"31":{"start":{"line":222,"column":8},"end":{"line":222,"column":32}},"32":{"start":{"line":231,"column":8},"end":{"line":231,"column":7390}},"33":{"start":{"line":236,"column":8},"end":{"line":236,"column":48}},"34":{"start":{"line":247,"column":8},"end":{"line":247,"column":7962}},"35":{"start":{"line":252,"column":8},"end":{"line":252,"column":49}},"36":{"start":{"line":253,"column":8},"end":{"line":253,"column":35}},"37":{"start":{"line":264,"column":8},"end":{"line":264,"column":8562}},"38":{"start":{"line":269,"column":8},"end":{"line":269,"column":50}},"39":{"start":{"line":270,"column":8},"end":{"line":270,"column":35}},"40":{"start":{"line":283,"column":8},"end":{"line":283,"column":9330}},"41":{"start":{"line":288,"column":8},"end":{"line":288,"column":48}},"42":{"start":{"line":302,"column":8},"end":{"line":302,"column":10138}},"43":{"start":{"line":307,"column":8},"end":{"line":307,"column":50}},"44":{"start":{"line":308,"column":8},"end":{"line":308,"column":35}}},"branchMap":{"1":{"line":43,"type":"if","locations":[{"start":{"line":43,"column":8},"end":{"line":43,"column":8}},{"start":{"line":43,"column":8},"end":{"line":43,"column":8}}]},"2":{"line":60,"type":"if","locations":[{"start":{"line":60,"column":8},"end":{"line":60,"column":8}},{"start":{"line":60,"column":8},"end":{"line":60,"column":8}}]},"3":{"line":61,"type":"if","locations":[{"start":{"line":61,"column":8},"end":{"line":61,"column":8}},{"start":{"line":61,"column":8},"end":{"line":61,"column":8}}]},"4":{"line":150,"type":"if","locations":[{"start":{"line":150,"column":8},"end":{"line":150,"column":8}},{"start":{"line":150,"column":8},"end":{"line":150,"column":8}}]},"5":{"line":162,"type":"if","locations":[{"start":{"line":162,"column":8},"end":{"line":162,"column":8}},{"start":{"line":162,"column":8},"end":{"line":162,"column":8}}]},"6":{"line":163,"type":"if","locations":[{"start":{"line":163,"column":8},"end":{"line":163,"column":8}},{"start":{"line":163,"column":8},"end":{"line":163,"column":8}}]},"7":{"line":199,"type":"if","locations":[{"start":{"line":199,"column":8},"end":{"line":199,"column":8}},{"start":{"line":199,"column":8},"end":{"line":199,"column":8}}]},"8":{"line":216,"type":"if","locations":[{"start":{"line":216,"column":8},"end":{"line":216,"column":8}},{"start":{"line":216,"column":8},"end":{"line":216,"column":8}}]},"9":{"line":231,"type":"if","locations":[{"start":{"line":231,"column":8},"end":{"line":231,"column":8}},{"start":{"line":231,"column":8},"end":{"line":231,"column":8}}]},"10":{"line":247,"type":"if","locations":[{"start":{"line":247,"column":8},"end":{"line":247,"column":8}},{"start":{"line":247,"column":8},"end":{"line":247,"column":8}}]},"11":{"line":264,"type":"if","locations":[{"start":{"line":264,"column":8},"end":{"line":264,"column":8}},{"start":{"line":264,"column":8},"end":{"line":264,"column":8}}]},"12":{"line":283,"type":"if","locations":[{"start":{"line":283,"column":8},"end":{"line":283,"column":8}},{"start":{"line":283,"column":8},"end":{"line":283,"column":8}}]},"13":{"line":302,"type":"if","locations":[{"start":{"line":302,"column":8},"end":{"line":302,"column":8}},{"start":{"line":302,"column":8},"end":{"line":302,"column":8}}]}}},"contracts/VoteWeight.sol":{"l":{"29":29,"30":29,"58":48,"62":48,"63":0,"65":48,"71":20,"72":20},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/VoteWeight.sol","s":{"1":29,"2":29,"3":48,"4":48,"5":0,"6":48,"7":20,"8":20},"b":{"1":[0,48]},"f":{"1":87,"2":29,"3":48,"4":20},"fnMap":{"1":{"name":"constructor","line":22,"loc":{"start":{"line":21,"column":4},"end":{"line":23,"column":5}}},"2":{"name":"initialise","line":27,"loc":{"start":{"line":25,"column":4},"end":{"line":34,"column":4}}},"3":{"name":"getVoteWeight","line":48,"loc":{"start":{"line":48,"column":4},"end":{"line":67,"column":4}}},"4":{"name":"getTotalWeight","line":69,"loc":{"start":{"line":69,"column":4},"end":{"line":73,"column":4}}}},"statementMap":{"1":{"start":{"line":29,"column":8},"end":{"line":29,"column":36}},"2":{"start":{"line":30,"column":8},"end":{"line":30,"column":36}},"3":{"start":{"line":58,"column":8},"end":{"line":58,"column":1975}},"4":{"start":{"line":62,"column":8},"end":{"line":62,"column":2102}},"5":{"start":{"line":63,"column":12},"end":{"line":63,"column":20}},"6":{"start":{"line":65,"column":12},"end":{"line":65,"column":29}},"7":{"start":{"line":71,"column":8},"end":{"line":71,"column":73}},"8":{"start":{"line":72,"column":8},"end":{"line":72,"column":20}}},"branchMap":{"1":{"line":62,"type":"if","locations":[{"start":{"line":62,"column":8},"end":{"line":62,"column":8}},{"start":{"line":62,"column":8},"end":{"line":62,"column":8}}]}}},"contracts/VotingBooth.sol":{"l":{"40":29,"48":51,"57":10,"59":10,"61":10,"69":51,"71":51,"72":51,"74":51,"79":50,"81":48,"83":48,"94":0,"106":29,"111":29,"113":29},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/VotingBooth.sol","s":{"1":29,"2":51,"3":10,"4":10,"5":10,"6":51,"7":51,"8":51,"9":51,"10":50,"11":48,"12":48,"13":0,"14":29,"15":29,"16":29},"b":{"1":[50,1],"2":[47,1]},"f":{"1":87,"2":29,"3":51,"4":10,"5":51,"6":0,"7":29},"fnMap":{"1":{"name":"constructor","line":32,"loc":{"start":{"line":31,"column":4},"end":{"line":33,"column":5}}},"2":{"name":"initialise","line":39,"loc":{"start":{"line":35,"column":4},"end":{"line":41,"column":4}}},"3":{"name":"getVoteType","line":47,"loc":{"start":{"line":47,"column":4},"end":{"line":49,"column":4}}},"4":{"name":"consensusReached","line":51,"loc":{"start":{"line":51,"column":4},"end":{"line":62,"column":4}}},"5":{"name":"vote","line":68,"loc":{"start":{"line":68,"column":4},"end":{"line":87,"column":4}}},"6":{"name":"addVoteType","line":93,"loc":{"start":{"line":89,"column":4},"end":{"line":95,"column":4}}},"7":{"name":"_addVoteType","line":101,"loc":{"start":{"line":101,"column":4},"end":{"line":114,"column":4}}}},"statementMap":{"1":{"start":{"line":40,"column":8},"end":{"line":40,"column":72}},"2":{"start":{"line":48,"column":8},"end":{"line":48,"column":43}},"3":{"start":{"line":57,"column":8},"end":{"line":57,"column":68}},"4":{"start":{"line":59,"column":8},"end":{"line":59,"column":73}},"5":{"start":{"line":61,"column":8},"end":{"line":61,"column":49}},"6":{"start":{"line":69,"column":8},"end":{"line":69,"column":70}},"7":{"start":{"line":71,"column":8},"end":{"line":71,"column":68}},"8":{"start":{"line":72,"column":8},"end":{"line":72,"column":73}},"9":{"start":{"line":74,"column":8},"end":{"line":74,"column":2503}},"10":{"start":{"line":79,"column":8},"end":{"line":79,"column":35}},"11":{"start":{"line":81,"column":8},"end":{"line":81,"column":49}},"12":{"start":{"line":83,"column":8},"end":{"line":83,"column":2730}},"13":{"start":{"line":94,"column":8},"end":{"line":94,"column":54}},"14":{"start":{"line":106,"column":8},"end":{"line":106,"column":3389}},"15":{"start":{"line":111,"column":8},"end":{"line":111,"column":71}},"16":{"start":{"line":113,"column":8},"end":{"line":113,"column":55}}},"branchMap":{"1":{"line":74,"type":"if","locations":[{"start":{"line":74,"column":8},"end":{"line":74,"column":8}},{"start":{"line":74,"column":8},"end":{"line":74,"column":8}}]},"2":{"line":83,"type":"if","locations":[{"start":{"line":83,"column":8},"end":{"line":83,"column":8}},{"start":{"line":83,"column":8},"end":{"line":83,"column":8}}]}}},"contracts/votingTypes/SimpleMajority.sol":{"l":{"26":48,"27":48,"28":48,"55":48,"59":34,"67":5,"68":5,"69":5,"73":2,"82":20,"86":20,"88":20,"91":20,"93":12,"95":20,"99":13,"112":48,"118":48,"119":48,"121":48,"125":48,"130":48,"131":47,"132":30,"134":17,"137":1,"140":47},"path":"/Users/veronicac/Desktop/projects/freelance/atlantis-alpha/contracts/votingTypes/SimpleMajority.sol","s":{"1":48,"2":48,"3":48,"4":34,"5":5,"6":5,"7":5,"8":2,"9":20,"10":20,"11":20,"12":20,"13":12,"14":20,"15":13,"16":48,"17":48,"18":48,"19":48,"20":48,"21":48,"22":47,"23":30,"24":17,"25":1,"26":47},"b":{"1":[48,0],"2":[12,8],"3":[13,7],"4":[48,0],"5":[30,17],"6":[0,1]},"f":{"1":48,"2":87,"3":48,"4":34,"5":5,"6":2,"7":20,"8":48},"fnMap":{"1":{"name":"onlyVotingBooth","line":25,"loc":{"start":{"line":25,"column":4},"end":{"line":29,"column":4}}},"2":{"name":"constructor","line":36,"loc":{"start":{"line":35,"column":4},"end":{"line":37,"column":5}}},"3":{"name":"decodeCastBallot","line":50,"loc":{"start":{"line":50,"column":4},"end":{"line":56,"column":4}}},"4":{"name":"encodeBallot","line":58,"loc":{"start":{"line":58,"column":4},"end":{"line":60,"column":4}}},"5":{"name":"getCurrentVote","line":62,"loc":{"start":{"line":62,"column":4},"end":{"line":70,"column":4}}},"6":{"name":"hasVoted","line":72,"loc":{"start":{"line":72,"column":4},"end":{"line":74,"column":4}}},"7":{"name":"consensusReached","line":76,"loc":{"start":{"line":76,"column":4},"end":{"line":101,"column":4}}},"8":{"name":"vote","line":111,"loc":{"start":{"line":107,"column":4},"end":{"line":141,"column":4}}}},"statementMap":{"1":{"start":{"line":26,"column":8},"end":{"line":26,"column":67}},"2":{"start":{"line":27,"column":8},"end":{"line":27,"column":75}},"3":{"start":{"line":55,"column":8},"end":{"line":55,"column":42}},"4":{"start":{"line":59,"column":8},"end":{"line":59,"column":31}},"5":{"start":{"line":67,"column":8},"end":{"line":67,"column":48}},"6":{"start":{"line":68,"column":8},"end":{"line":68,"column":56}},"7":{"start":{"line":69,"column":8},"end":{"line":69,"column":54}},"8":{"start":{"line":73,"column":8},"end":{"line":73,"column":51}},"9":{"start":{"line":82,"column":8},"end":{"line":82,"column":2658}},"10":{"start":{"line":86,"column":8},"end":{"line":86,"column":74}},"11":{"start":{"line":88,"column":8},"end":{"line":88,"column":2882}},"12":{"start":{"line":91,"column":8},"end":{"line":91,"column":2958}},"13":{"start":{"line":93,"column":12},"end":{"line":93,"column":25}},"14":{"start":{"line":95,"column":8},"end":{"line":95,"column":3100}},"15":{"start":{"line":99,"column":12},"end":{"line":99,"column":28}},"16":{"start":{"line":112,"column":8},"end":{"line":112,"column":3668}},"17":{"start":{"line":118,"column":8},"end":{"line":118,"column":50}},"18":{"start":{"line":119,"column":8},"end":{"line":119,"column":44}},"19":{"start":{"line":121,"column":8},"end":{"line":121,"column":3974}},"20":{"start":{"line":125,"column":8},"end":{"line":125,"column":4085}},"21":{"start":{"line":130,"column":8},"end":{"line":130,"column":4201}},"22":{"start":{"line":131,"column":12},"end":{"line":131,"column":4279}},"23":{"start":{"line":132,"column":16},"end":{"line":132,"column":58}},"24":{"start":{"line":134,"column":16},"end":{"line":134,"column":62}},"25":{"start":{"line":137,"column":12},"end":{"line":137,"column":60}},"26":{"start":{"line":140,"column":8},"end":{"line":140,"column":19}}},"branchMap":{"1":{"line":27,"type":"if","locations":[{"start":{"line":27,"column":8},"end":{"line":27,"column":8}},{"start":{"line":27,"column":8},"end":{"line":27,"column":8}}]},"2":{"line":91,"type":"if","locations":[{"start":{"line":91,"column":8},"end":{"line":91,"column":8}},{"start":{"line":91,"column":8},"end":{"line":91,"column":8}}]},"3":{"line":95,"type":"if","locations":[{"start":{"line":95,"column":8},"end":{"line":95,"column":8}},{"start":{"line":95,"column":8},"end":{"line":95,"column":8}}]},"4":{"line":112,"type":"if","locations":[{"start":{"line":112,"column":8},"end":{"line":112,"column":8}},{"start":{"line":112,"column":8},"end":{"line":112,"column":8}}]},"5":{"line":131,"type":"if","locations":[{"start":{"line":131,"column":12},"end":{"line":131,"column":12}},{"start":{"line":131,"column":12},"end":{"line":131,"column":12}}]},"6":{"line":137,"type":"if","locations":[{"start":{"line":137,"column":12},"end":{"line":137,"column":12}},{"start":{"line":137,"column":12},"end":{"line":137,"column":12}}]}}}}