{"action":"closed","issue":{"url":"https://api.github.com/repos/trailofbits/echidna/issues/18","repository_url":"https://api.github.com/repos/trailofbits/echidna","labels_url":"https://api.github.com/repos/trailofbits/echidna/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/trailofbits/echidna/issues/18/comments","events_url":"https://api.github.com/repos/trailofbits/echidna/issues/18/events","html_url":"https://github.com/trailofbits/echidna/issues/18","id":304373394,"number":18,"title":"possibly support arguments in tests","user":{"login":"snd","id":32397,"avatar_url":"https://avatars3.githubusercontent.com/u/32397?v=4","gravatar_id":"","url":"https://api.github.com/users/snd","html_url":"https://github.com/snd","followers_url":"https://api.github.com/users/snd/followers","following_url":"https://api.github.com/users/snd/following{/other_user}","gists_url":"https://api.github.com/users/snd/gists{/gist_id}","starred_url":"https://api.github.com/users/snd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/snd/subscriptions","organizations_url":"https://api.github.com/users/snd/orgs","repos_url":"https://api.github.com/users/snd/repos","events_url":"https://api.github.com/users/snd/events{/privacy}","received_events_url":"https://api.github.com/users/snd/received_events","type":"User","site_admin":false},"labels":[{"id":677712970,"url":"https://api.github.com/repos/trailofbits/echidna/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":677712971,"url":"https://api.github.com/repos/trailofbits/echidna/labels/help%20wanted","name":"help wanted","color":"128A0C","default":true},{"id":677712973,"url":"https://api.github.com/repos/trailofbits/echidna/labels/question","name":"question","color":"cc317c","default":true}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-03-12T13:35:17Z","updated_at":"2018-03-13T19:22:37Z","closed_at":"2018-03-13T19:22:37Z","author_association":"CONTRIBUTOR","body":"just some thoughts.\r\n\r\ni tried\r\n\r\n```solidity\r\n    function echidna_balanceAlwaysLowerEqualTotalSupply(address tokenHolder) public view returns (bool) {\r\n        return balanceOf(tokenHolder) <= totalSupply;\r\n    }\r\n```\r\n\r\nand it aborted with `Test \"echidna_balanceAlwaysLowerEqualTotalSupply\" has arguments, aborting`\r\n\r\ni understand why.\r\n\r\nit could be interesting to support this. it would open up a whole new set of properties that\r\ncan be tested with echidna. maybe this is possible by using echidna as a library. i've yet to look into that.\r\n\r\ni imagine it could fuzz (argument) addresses first, that occur somewhere in storage of the contract or that it has used before."}}
{"actor":{"display_login":"japesinator"}}