Skip to content

Instantly share code, notes, and snippets.

@zone117x

zone117x/BasicToken.SolCoverage.Instrumented.json

Created May 31, 2018 17:48
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save zone117x/d4a1ad9b3d116139d9070dfea145c8db to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save zone117x/d4a1ad9b3d116139d9070dfea145c8db to your computer and use it in GitHub Desktop.
Download ZIP
Raw
BasicToken.SolCoverage.Instrumented.json
{
"source": "pragma solidity ^0.4.23;\r\n\r\n\r\nimport \"./ERC20Basic.sol\";\r\nimport \"../../math/SafeMath.sol\";\r\n\r\n\r\n/**\r\n * @title Basic token\r\n * @dev Basic version of StandardToken, with no allowances.\r\n */\r\ncontract BasicToken is ERC20Basic {\r\n using SafeMath for uint256;\r\n\r\n mapping(address => uint256) balances;\r\n\r\n uint256 totalSupply_;\r\n\r\n /**\r\n * @dev total number of tokens in existence\r\n */\r\n function totalSupply() public view returns (uint256) {\r\n return totalSupply_;\r\n }\r\n\r\n /**\r\n * @dev transfer token for a specified address\r\n * @param _to The address to transfer to.\r\n * @param _value The amount to be transferred.\r\n */\r\n function transfer(address _to, uint256 _value) public returns (bool) {\r\n require(_to != address(0));\r\n require(_value <= balances[msg.sender]);\r\n\r\n balances[msg.sender] = balances[msg.sender].sub(_value);\r\n balances[_to] = balances[_to].add(_value);\r\n emit Transfer(msg.sender, _to, _value);\r\n return true;\r\n }\r\n\r\n /**\r\n * @dev Gets the balance of the specified address.\r\n * @param _owner The address to query the the balance of.\r\n * @return An uint256 representing the amount owned by the passed address.\r\n */\r\n function balanceOf(address _owner) public view returns (uint256) {\r\n return balances[_owner];\r\n }\r\n\r\n}\r\n",
"instrumented": "pragma solidity ^0.4.23;\r\n\r\n\r\nimport \"./ERC20Basic.sol\";\r\nimport \"../../math/SafeMath.sol\";\r\n\r\n\r\n/**\r\n * @title Basic token\r\n * @dev Basic version of StandardToken, with no allowances.\r\n */\r\ncontract BasicToken is ERC20Basic {\r\n using SafeMath for uint256;\r\n\r\n mapping(address => uint256) balances;\r\n\r\n uint256 totalSupply_;\r\n\r\n /**\r\n * @dev total number of tokens in existence\r\n */\r\n function totalSupply() public view returns (uint256) {\r\n return totalSupply_;\r\n }\r\n\r\n /**\r\n * @dev transfer token for a specified address\r\n * @param _to The address to transfer to.\r\n * @param _value The amount to be transferred.\r\n */\r\n function transfer(address _to, uint256 _value) public returns (bool) {\r\n require(_to != address(0));\r\n require(_value <= balances[msg.sender]);\r\n\r\n balances[msg.sender] = balances[msg.sender].sub(_value);\r\n balances[_to] = balances[_to].add(_value);\r\n emit Transfer(msg.sender, _to, _value);\r\n return true;\r\n }\r\n\r\n /**\r\n * @dev Gets the balance of the specified address.\r\n * @param _owner The address to query the the balance of.\r\n * @return An uint256 representing the amount owned by the passed address.\r\n */\r\n function balanceOf(address _owner) public view returns (uint256) {\r\n return balances[_owner];\r\n }\r\n\r\n}\r\n",
"runnableLines": [
47,
38,
37,
36,
35,
33,
32,
23
],
"fnMap": {
"1": {
"name": "totalSupply",
"line": 22,
"loc": {
"start": {
"line": 22,
"column": 2
},
"end": {
"line": 22,
"column": 54
}
}
},
"2": {
"name": "transfer",
"line": 31,
"loc": {
"start": {
"line": 31,
"column": 2
},
"end": {
"line": 31,
"column": 70
}
}
},
"3": {
"name": "balanceOf",
"line": 46,
"loc": {
"start": {
"line": 46,
"column": 2
},
"end": {
"line": 46,
"column": 66
}
}
}
},
"fnId": 3,
"branchMap": {
"1": {
"line": 32,
"type": "if",
"locations": [
{
"start": {
"line": 32,
"column": 4
},
"end": {
"line": 32,
"column": 4
}
},
{
"start": {
"line": 32,
"column": 4
},
"end": {
"line": 32,
"column": 4
}
}
]
},
"2": {
"line": 33,
"type": "if",
"locations": [
{
"start": {
"line": 33,
"column": 4
},
"end": {
"line": 33,
"column": 4
}
},
{
"start": {
"line": 33,
"column": 4
},
"end": {
"line": 33,
"column": 4
}
}
]
}
},
"branchId": 2,
"statementMap": {
"1": {
"start": {
"line": 23,
"column": 4
},
"end": {
"line": 23,
"column": 23
}
},
"2": {
"start": {
"line": 32,
"column": 4
},
"end": {
"line": 32,
"column": 29
}
},
"3": {
"start": {
"line": 33,
"column": 4
},
"end": {
"line": 33,
"column": 42
}
},
"4": {
"start": {
"line": 35,
"column": 4
},
"end": {
"line": 35,
"column": 58
}
},
"5": {
"start": {
"line": 36,
"column": 4
},
"end": {
"line": 36,
"column": 44
}
},
"6": {
"start": {
"line": 37,
"column": 4
},
"end": {
"line": 37,
"column": 42
}
},
"7": {
"start": {
"line": 38,
"column": 4
},
"end": {
"line": 38,
"column": 15
}
},
"8": {
"start": {
"line": 47,
"column": 4
},
"end": {
"line": 47,
"column": 27
}
}
},
"statementId": 8,
"injectionPoints": {
"226": [
{
"type": "eventDefinition"
}
],
"446": [
{
"type": "callFunctionEvent",
"fnId": 1
}
],
"448": [
{
"type": "callEvent"
}
],
"452": [
{
"type": "statement",
"statementId": 1
}
],
"708": [
{
"type": "callFunctionEvent",
"fnId": 2
}
],
"710": [
{
"type": "callEvent"
}
],
"714": [
{
"type": "statement",
"statementId": 2
},
{
"type": "callAssertPreEvent",
"branchId": 1
}
],
"741": [
{
"type": "callAssertPostEvent",
"branchId": 1
}
],
"743": [
{
"type": "callEvent"
}
],
"747": [
{
"type": "statement",
"statementId": 3
},
{
"type": "callAssertPreEvent",
"branchId": 2
}
],
"787": [
{
"type": "callAssertPostEvent",
"branchId": 2
}
],
"791": [
{
"type": "callEvent"
}
],
"795": [
{
"type": "statement",
"statementId": 4
}
],
"853": [
{
"type": "callEvent"
}
],
"857": [
{
"type": "statement",
"statementId": 5
}
],
"901": [
{
"type": "callEvent"
}
],
"905": [
{
"type": "statement",
"statementId": 6
}
],
"946": [
{
"type": "callEvent"
}
],
"950": [
{
"type": "statement",
"statementId": 7
}
],
"1242": [
{
"type": "callFunctionEvent",
"fnId": 3
}
],
"1244": [
{
"type": "callEvent"
}
],
"1248": [
{
"type": "statement",
"statementId": 8
}
]
},
"contract": "pragma solidity ^0.4.23;\r\n\r\n\r\nimport \"./ERC20Basic.sol\";\r\nimport \"../../math/SafeMath.sol\";\r\n\r\n\r\n/**\r\n * @title Basic token\r\n * @dev Basic version of StandardToken, with no allowances.\r\n */\r\ncontract BasicToken is ERC20Basic {event __CoverageBasicToken(string fileName, uint256 lineNumber);\nevent __FunctionCoverageBasicToken(string fileName, uint256 fnId);\nevent __StatementCoverageBasicToken(string fileName, uint256 statementId);\nevent __BranchCoverageBasicToken(string fileName, uint256 branchId, uint256 locationIdx);\nevent __AssertPreCoverageBasicToken(string fileName, uint256 branchId);\nevent __AssertPostCoverageBasicToken(string fileName, uint256 branchId);\n\r\n using SafeMath for uint256;\r\n\r\n mapping(address => uint256) balances;\r\n\r\n uint256 totalSupply_;\r\n\r\n /**\r\n * @dev total number of tokens in existence\r\n */\r\n function totalSupply() public returns (uint256) {emit __FunctionCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',1);\n\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',23);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',1);\nreturn totalSupply_;\r\n }\r\n\r\n /**\r\n * @dev transfer token for a specified address\r\n * @param _to The address to transfer to.\r\n * @param _value The amount to be transferred.\r\n */\r\n function transfer(address _to, uint256 _value) public returns (bool) {emit __FunctionCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',2);\n\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',32);\n emit __AssertPreCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',1);\nemit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',2);\nrequire(_to != address(0));emit __AssertPostCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',1);\n\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',33);\n emit __AssertPreCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',2);\nemit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',3);\nrequire(_value <= balances[msg.sender]);emit __AssertPostCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',2);\n\r\n\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',35);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',4);\nbalances[msg.sender] = balances[msg.sender].sub(_value);\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',36);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',5);\nbalances[_to] = balances[_to].add(_value);\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',37);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',6);\nemit Transfer(msg.sender, _to, _value);\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',38);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',7);\nreturn true;\r\n }\r\n\r\n /**\r\n * @dev Gets the balance of the specified address.\r\n * @param _owner The address to query the the balance of.\r\n * @return An uint256 representing the amount owned by the passed address.\r\n */\r\n function balanceOf(address _owner) public returns (uint256) {emit __FunctionCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',3);\n\r\nemit __CoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',47);\n emit __StatementCoverageBasicToken('C:/Users/matt/Projects/Coincircle/contracts/zeppelin-solidity/contracts/token/ERC20/BasicToken.sol',8);\nreturn balances[_owner];\r\n }\r\n\r\n}\r\n",
"contractName": "BasicToken"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment