{"action":"closed","issue":{"url":"https://api.github.com/repos/aggelgian/cuter/issues/16","repository_url":"https://api.github.com/repos/aggelgian/cuter","labels_url":"https://api.github.com/repos/aggelgian/cuter/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/aggelgian/cuter/issues/16/comments","events_url":"https://api.github.com/repos/aggelgian/cuter/issues/16/events","html_url":"https://github.com/aggelgian/cuter/issues/16","id":131422269,"number":16,"title":"Bug when testing mochinjson2","user":{"login":"aggelgian","id":1251043,"avatar_url":"https://avatars.githubusercontent.com/u/1251043?v=3","gravatar_id":"","url":"https://api.github.com/users/aggelgian","html_url":"https://github.com/aggelgian","followers_url":"https://api.github.com/users/aggelgian/followers","following_url":"https://api.github.com/users/aggelgian/following{/other_user}","gists_url":"https://api.github.com/users/aggelgian/gists{/gist_id}","starred_url":"https://api.github.com/users/aggelgian/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aggelgian/subscriptions","organizations_url":"https://api.github.com/users/aggelgian/orgs","repos_url":"https://api.github.com/users/aggelgian/repos","events_url":"https://api.github.com/users/aggelgian/events{/privacy}","received_events_url":"https://api.github.com/users/aggelgian/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/aggelgian/cuter/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":{"login":"aggelgian","id":1251043,"avatar_url":"https://avatars.githubusercontent.com/u/1251043?v=3","gravatar_id":"","url":"https://api.github.com/users/aggelgian","html_url":"https://github.com/aggelgian","followers_url":"https://api.github.com/users/aggelgian/followers","following_url":"https://api.github.com/users/aggelgian/following{/other_user}","gists_url":"https://api.github.com/users/aggelgian/gists{/gist_id}","starred_url":"https://api.github.com/users/aggelgian/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aggelgian/subscriptions","organizations_url":"https://api.github.com/users/aggelgian/orgs","repos_url":"https://api.github.com/users/aggelgian/repos","events_url":"https://api.github.com/users/aggelgian/events{/privacy}","received_events_url":"https://api.github.com/users/aggelgian/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2016-02-04T17:44:33Z","updated_at":"2016-02-04T19:48:12Z","closed_at":"2016-02-04T19:48:12Z","body":"I get the error\r\n```\r\n[SOLVER ERROR] {\"python -u /home/aggelgian/git-repos/cuter/priv/cuter_interface.py\",\r\n                [{{'__s',\"0.0.1.15586\"},[false,<<>>]}],\r\n                \"/home/aggelgian/git-repos/cuter/temp/execexec161/run.trace\",\r\n                28}\r\nProccess <0.38.0> exited with {{solving,\r\n                                   {unexpected_info,\r\n                                       {'EXIT',#Port<0.3056>,normal}}},\r\n                               {gen_fsm,sync_send_event,\r\n                                   [<0.1010.0>,check_model,500000]}}\r\n```\r\nwhile running\r\n```bash\r\ncuter mochijson2 encode '[[]]' -s 4 -p 4\r\n```\r\nIt seems that the assertion at line 101 of `cuter_z3.py` is violated."}}