{"action":"created","issue":{"url":"https://api.github.com/repos/overturetool/overture/issues/415","labels_url":"https://api.github.com/repos/overturetool/overture/issues/415/labels{/name}","comments_url":"https://api.github.com/repos/overturetool/overture/issues/415/comments","events_url":"https://api.github.com/repos/overturetool/overture/issues/415/events","html_url":"https://github.com/overturetool/overture/issues/415","id":57369406,"number":415,"title":"Tic-tac-toe CT errors in 2.2.0","user":{"login":"nickbattle","id":1751423,"avatar_url":"https://avatars.githubusercontent.com/u/1751423?v=3","gravatar_id":"","url":"https://api.github.com/users/nickbattle","html_url":"https://github.com/nickbattle","followers_url":"https://api.github.com/users/nickbattle/followers","following_url":"https://api.github.com/users/nickbattle/following{/other_user}","gists_url":"https://api.github.com/users/nickbattle/gists{/gist_id}","starred_url":"https://api.github.com/users/nickbattle/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nickbattle/subscriptions","organizations_url":"https://api.github.com/users/nickbattle/orgs","repos_url":"https://api.github.com/users/nickbattle/repos","events_url":"https://api.github.com/users/nickbattle/events{/privacy}","received_events_url":"https://api.github.com/users/nickbattle/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"lausdahl","id":2575418,"avatar_url":"https://avatars.githubusercontent.com/u/2575418?v=3","gravatar_id":"","url":"https://api.github.com/users/lausdahl","html_url":"https://github.com/lausdahl","followers_url":"https://api.github.com/users/lausdahl/followers","following_url":"https://api.github.com/users/lausdahl/following{/other_user}","gists_url":"https://api.github.com/users/lausdahl/gists{/gist_id}","starred_url":"https://api.github.com/users/lausdahl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lausdahl/subscriptions","organizations_url":"https://api.github.com/users/lausdahl/orgs","repos_url":"https://api.github.com/users/lausdahl/repos","events_url":"https://api.github.com/users/lausdahl/events{/privacy}","received_events_url":"https://api.github.com/users/lausdahl/received_events","type":"User","site_admin":false},"milestone":null,"comments":5,"created_at":"2015-02-11T20:03:50Z","updated_at":"2015-02-20T08:48:02Z","closed_at":null,"body":"The tic-tac-toe model in the VDMSL examples produces a \"null\" (pointer exception) error for every test case in Overture 2.2.0. Other CT tests seem OK. The error occurs if you run the full suite or just send one test to the interpreter. It similarly fails from the Console:\r\n```\r\n> runtrace ALL 1\r\nGenerated 15120 tests\r\nTest 1 = XO`play([<CROSS>, <NOUGHT>], [mk_Pos(1, 1), mk_Pos(1, 2), mk_Pos(1, 3), mk_Pos(2, 1), mk_Pos(2, 2)])\r\nResult = [null, FAILED]\r\nExecuted in 2.592 secs. \r\nSome tests failed or indeterminate\r\n>\r\n ```"},"comment":{"url":"https://api.github.com/repos/overturetool/overture/issues/comments/75206463","html_url":"https://github.com/overturetool/overture/issues/415#issuecomment-75206463","issue_url":"https://api.github.com/repos/overturetool/overture/issues/415","id":75206463,"user":{"login":"nickbattle","id":1751423,"avatar_url":"https://avatars.githubusercontent.com/u/1751423?v=3","gravatar_id":"","url":"https://api.github.com/users/nickbattle","html_url":"https://github.com/nickbattle","followers_url":"https://api.github.com/users/nickbattle/followers","following_url":"https://api.github.com/users/nickbattle/following{/other_user}","gists_url":"https://api.github.com/users/nickbattle/gists{/gist_id}","starred_url":"https://api.github.com/users/nickbattle/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nickbattle/subscriptions","organizations_url":"https://api.github.com/users/nickbattle/orgs","repos_url":"https://api.github.com/users/nickbattle/repos","events_url":"https://api.github.com/users/nickbattle/events{/privacy}","received_events_url":"https://api.github.com/users/nickbattle/received_events","type":"User","site_admin":false},"created_at":"2015-02-20T08:48:02Z","updated_at":"2015-02-20T08:48:02Z","body":"​Who made that commit?​\r\n"}}