{"action":"opened","issue":{"url":"https://api.github.com/repos/Whiley/WhileyCompiler/issues/730","repository_url":"https://api.github.com/repos/Whiley/WhileyCompiler","labels_url":"https://api.github.com/repos/Whiley/WhileyCompiler/issues/730/labels{/name}","comments_url":"https://api.github.com/repos/Whiley/WhileyCompiler/issues/730/comments","events_url":"https://api.github.com/repos/Whiley/WhileyCompiler/issues/730/events","html_url":"https://github.com/Whiley/WhileyCompiler/issues/730","id":226881531,"number":730,"title":"Insufficient Specification on Complex_Valid_8","user":{"login":"DavePearce","id":484459,"avatar_url":"https://avatars1.githubusercontent.com/u/484459?v=3","gravatar_id":"","url":"https://api.github.com/users/DavePearce","html_url":"https://github.com/DavePearce","followers_url":"https://api.github.com/users/DavePearce/followers","following_url":"https://api.github.com/users/DavePearce/following{/other_user}","gists_url":"https://api.github.com/users/DavePearce/gists{/gist_id}","starred_url":"https://api.github.com/users/DavePearce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavePearce/subscriptions","organizations_url":"https://api.github.com/users/DavePearce/orgs","repos_url":"https://api.github.com/users/DavePearce/repos","events_url":"https://api.github.com/users/DavePearce/events{/privacy}","received_events_url":"https://api.github.com/users/DavePearce/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-05-07T18:17:14Z","updated_at":"2017-05-07T18:17:14Z","closed_at":null,"body":"The test case `Complex_Valid_8` is incorrectly specified and this has not been detected before.  The test case is large and complex and updating the specification will be tricky until verification works fast enough that the turn around time is fast enough."}}
{"actor":{"display_login":"DavePearce"}}