{"action":"created","issue":{"url":"https://api.github.com/repos/trailofbits/echidna/issues/31","repository_url":"https://api.github.com/repos/trailofbits/echidna","labels_url":"https://api.github.com/repos/trailofbits/echidna/issues/31/labels{/name}","comments_url":"https://api.github.com/repos/trailofbits/echidna/issues/31/comments","events_url":"https://api.github.com/repos/trailofbits/echidna/issues/31/events","html_url":"https://github.com/trailofbits/echidna/pull/31","id":310485495,"node_id":"MDExOlB1bGxSZXF1ZXN0MTc4ODM5Nzky","number":31,"title":"Extended support to generate and execute more transaction fields (msg.value, msg.sender, ..)","user":{"login":"ggrieco-tob","id":31542053,"node_id":"MDQ6VXNlcjMxNTQyMDUz","avatar_url":"https://avatars2.githubusercontent.com/u/31542053?v=4","gravatar_id":"","url":"https://api.github.com/users/ggrieco-tob","html_url":"https://github.com/ggrieco-tob","followers_url":"https://api.github.com/users/ggrieco-tob/followers","following_url":"https://api.github.com/users/ggrieco-tob/following{/other_user}","gists_url":"https://api.github.com/users/ggrieco-tob/gists{/gist_id}","starred_url":"https://api.github.com/users/ggrieco-tob/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ggrieco-tob/subscriptions","organizations_url":"https://api.github.com/users/ggrieco-tob/orgs","repos_url":"https://api.github.com/users/ggrieco-tob/repos","events_url":"https://api.github.com/users/ggrieco-tob/events{/privacy}","received_events_url":"https://api.github.com/users/ggrieco-tob/received_events","type":"User","site_admin":false},"labels":[{"id":677712970,"node_id":"MDU6TGFiZWw2Nzc3MTI5NzA=","url":"https://api.github.com/repos/trailofbits/echidna/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":677712971,"node_id":"MDU6TGFiZWw2Nzc3MTI5NzE=","url":"https://api.github.com/repos/trailofbits/echidna/labels/help%20wanted","name":"help wanted","color":"128A0C","default":true}],"state":"closed","locked":false,"assignee":{"login":"ggrieco-tob","id":31542053,"node_id":"MDQ6VXNlcjMxNTQyMDUz","avatar_url":"https://avatars2.githubusercontent.com/u/31542053?v=4","gravatar_id":"","url":"https://api.github.com/users/ggrieco-tob","html_url":"https://github.com/ggrieco-tob","followers_url":"https://api.github.com/users/ggrieco-tob/followers","following_url":"https://api.github.com/users/ggrieco-tob/following{/other_user}","gists_url":"https://api.github.com/users/ggrieco-tob/gists{/gist_id}","starred_url":"https://api.github.com/users/ggrieco-tob/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ggrieco-tob/subscriptions","organizations_url":"https://api.github.com/users/ggrieco-tob/orgs","repos_url":"https://api.github.com/users/ggrieco-tob/repos","events_url":"https://api.github.com/users/ggrieco-tob/events{/privacy}","received_events_url":"https://api.github.com/users/ggrieco-tob/received_events","type":"User","site_admin":false},"assignees":[{"login":"ggrieco-tob","id":31542053,"node_id":"MDQ6VXNlcjMxNTQyMDUz","avatar_url":"https://avatars2.githubusercontent.com/u/31542053?v=4","gravatar_id":"","url":"https://api.github.com/users/ggrieco-tob","html_url":"https://github.com/ggrieco-tob","followers_url":"https://api.github.com/users/ggrieco-tob/followers","following_url":"https://api.github.com/users/ggrieco-tob/following{/other_user}","gists_url":"https://api.github.com/users/ggrieco-tob/gists{/gist_id}","starred_url":"https://api.github.com/users/ggrieco-tob/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ggrieco-tob/subscriptions","organizations_url":"https://api.github.com/users/ggrieco-tob/orgs","repos_url":"https://api.github.com/users/ggrieco-tob/repos","events_url":"https://api.github.com/users/ggrieco-tob/events{/privacy}","received_events_url":"https://api.github.com/users/ggrieco-tob/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2018-04-02T13:31:32Z","updated_at":"2018-07-10T15:44:21Z","closed_at":"2018-07-10T15:44:21Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/trailofbits/echidna/pulls/31","html_url":"https://github.com/trailofbits/echidna/pull/31","diff_url":"https://github.com/trailofbits/echidna/pull/31.diff","patch_url":"https://github.com/trailofbits/echidna/pull/31.patch"},"body":"**This PR is an early prototype for discussion. Not intended to merge it soon.**\r\n\r\nEchidna should be able to handle the generation of all the transaction data fields to trigger deep parts of a contract code (for instance, code depending on msg.value or msg.sender). This PR allows to generate and execute them (so, it should fix #30 when it is ready) so echidna can find a failed test in this small example:\r\n\r\n```solidity\r\ncontract C {\r\n\r\n  uint state = 0;\r\n  function f() payable {\r\n    if (msg.value > 128)\r\n        state = msg.value;\r\n  }\r\n\r\n  function echidna_test() returns (bool) {\r\n    return(state == 0);\r\n  }\r\n}\r\n```\r\n\r\nIt outputs:\r\n\r\n```bash\r\n  ✗ \"echidna_test\" failed after 5 tests and 5 shrinks.\r\n  \r\n      │ Call sequence: f() paying 129;\r\n  \r\n  ✗ 1 failed.\r\n```"},"comment":{"url":"https://api.github.com/repos/trailofbits/echidna/issues/comments/403870477","html_url":"https://github.com/trailofbits/echidna/pull/31#issuecomment-403870477","issue_url":"https://api.github.com/repos/trailofbits/echidna/issues/31","id":403870477,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMzg3MDQ3Nw==","user":{"login":"japesinator","id":5386869,"node_id":"MDQ6VXNlcjUzODY4Njk=","avatar_url":"https://avatars2.githubusercontent.com/u/5386869?v=4","gravatar_id":"","url":"https://api.github.com/users/japesinator","html_url":"https://github.com/japesinator","followers_url":"https://api.github.com/users/japesinator/followers","following_url":"https://api.github.com/users/japesinator/following{/other_user}","gists_url":"https://api.github.com/users/japesinator/gists{/gist_id}","starred_url":"https://api.github.com/users/japesinator/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/japesinator/subscriptions","organizations_url":"https://api.github.com/users/japesinator/orgs","repos_url":"https://api.github.com/users/japesinator/repos","events_url":"https://api.github.com/users/japesinator/events{/privacy}","received_events_url":"https://api.github.com/users/japesinator/received_events","type":"User","site_admin":false},"created_at":"2018-07-10T15:44:21Z","updated_at":"2018-07-10T15:44:21Z","author_association":"CONTRIBUTOR","body":"Partially superseded by #67, mostly not compatible with the new config stuff"}}
{"actor":{"display_login":"japesinator"}}