{"action":"opened","issue":{"url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/issues/21","repository_url":"https://api.github.com/repos/Whiley/WhileyTheoremProver","labels_url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/issues/21/labels{/name}","comments_url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/issues/21/comments","events_url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/issues/21/events","html_url":"https://github.com/Whiley/WhileyTheoremProver/issues/21","id":167972447,"number":21,"title":"Problem with Array Generator","user":{"login":"DavePearce","id":484459,"avatar_url":"https://avatars.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":[{"url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/labels/bug","name":"bug","color":"ee0701"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-07-27T22:32:43Z","updated_at":"2016-07-27T22:32:43Z","closed_at":null,"body":"The following fails:\r\n\r\n<pre>\r\nassert \"postcondition not satisfied\":\r\n    forall ([int] ls):\r\n        if:\r\n            |ls| == 0\r\n        then:\r\n            ls == [0;0]\r\n</pre>\r\n\r\n(should add this as WyTP test case)"}}
{"actor":{"display_login":"DavePearce"}}