{"action":"created","issue":{"url":"https://api.github.com/repos/AugurProject/augur-core/issues/614","repository_url":"https://api.github.com/repos/AugurProject/augur-core","labels_url":"https://api.github.com/repos/AugurProject/augur-core/issues/614/labels{/name}","comments_url":"https://api.github.com/repos/AugurProject/augur-core/issues/614/comments","events_url":"https://api.github.com/repos/AugurProject/augur-core/issues/614/events","html_url":"https://github.com/AugurProject/augur-core/pull/614","id":317794525,"number":614,"title":"Feature/608-enable-mythril-tests-travis","user":{"login":"cryptomental","id":20819151,"avatar_url":"https://avatars0.githubusercontent.com/u/20819151?v=4","gravatar_id":"","url":"https://api.github.com/users/cryptomental","html_url":"https://github.com/cryptomental","followers_url":"https://api.github.com/users/cryptomental/followers","following_url":"https://api.github.com/users/cryptomental/following{/other_user}","gists_url":"https://api.github.com/users/cryptomental/gists{/gist_id}","starred_url":"https://api.github.com/users/cryptomental/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cryptomental/subscriptions","organizations_url":"https://api.github.com/users/cryptomental/orgs","repos_url":"https://api.github.com/users/cryptomental/repos","events_url":"https://api.github.com/users/cryptomental/events{/privacy}","received_events_url":"https://api.github.com/users/cryptomental/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-04-25T21:08:24Z","updated_at":"2018-04-25T21:51:43Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/AugurProject/augur-core/pulls/614","html_url":"https://github.com/AugurProject/augur-core/pull/614","diff_url":"https://github.com/AugurProject/augur-core/pull/614.diff","patch_url":"https://github.com/AugurProject/augur-core/pull/614.patch"},"body":"This PR solves #608 - running augur-core contracts on CI against Mythril.\r\n\r\naugur-mythril-ci Docker image is based on mythril-ci fork  \r\n`https://github.com/cryptomental/mythril-ci/commits/master`\r\n\r\nChanges vs original mythril-ci repository were required due to Microsoft's z3\r\ntheorem solver being unstable for augur-core contracts, randomly failing \r\nto evaluate the contract model. After a few retries the solver is always able\r\nto parse the model and return data. This behaviour can be verified against \r\na failing z3 solver running `mythril -x contracts/contract_name.sol` several times.\r\n\r\nTest results are provided in markdown format and returned as test-result.log file. \r\nContent of the file is displayed during security:mythril test run on Travis.\r\n\r\nIf no issues with type Error are found, the test runner exits with '0' return code \r\nand Mythril test passes. All issues of 'Informational' and 'Warning' type are available\r\nin the Travis log.\r\n\r\nMythril test run takes around 10 minutes on i7 and up to 20 minutes on older dual-core CPUs.\r\n\r\nRefs: #608"},"comment":{"url":"https://api.github.com/repos/AugurProject/augur-core/issues/comments/384445930","html_url":"https://github.com/AugurProject/augur-core/pull/614#issuecomment-384445930","issue_url":"https://api.github.com/repos/AugurProject/augur-core/issues/614","id":384445930,"user":{"login":"seesemichaelj","id":549323,"avatar_url":"https://avatars2.githubusercontent.com/u/549323?v=4","gravatar_id":"","url":"https://api.github.com/users/seesemichaelj","html_url":"https://github.com/seesemichaelj","followers_url":"https://api.github.com/users/seesemichaelj/followers","following_url":"https://api.github.com/users/seesemichaelj/following{/other_user}","gists_url":"https://api.github.com/users/seesemichaelj/gists{/gist_id}","starred_url":"https://api.github.com/users/seesemichaelj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seesemichaelj/subscriptions","organizations_url":"https://api.github.com/users/seesemichaelj/orgs","repos_url":"https://api.github.com/users/seesemichaelj/repos","events_url":"https://api.github.com/users/seesemichaelj/events{/privacy}","received_events_url":"https://api.github.com/users/seesemichaelj/received_events","type":"User","site_admin":false},"created_at":"2018-04-25T21:51:43Z","updated_at":"2018-04-25T21:51:43Z","author_association":"NONE","body":"I guess you were reading my mind, nevermind!"}}
{"actor":{"display_login":"seesemichaelj"}}