{"action":"closed","number":118,"pull_request":{"url":"https://api.github.com/repos/FredMaris/touist/pulls/118","id":62676753,"html_url":"https://github.com/FredMaris/touist/pull/118","diff_url":"https://github.com/FredMaris/touist/pull/118.diff","patch_url":"https://github.com/FredMaris/touist/pull/118.patch","issue_url":"https://api.github.com/repos/FredMaris/touist/issues/118","number":118,"state":"closed","locked":false,"title":"L'option -smt2 n'est pas clairement expliquée","user":{"login":"maelvalais","id":2195781,"avatar_url":"https://avatars.githubusercontent.com/u/2195781?v=3","gravatar_id":"","url":"https://api.github.com/users/maelvalais","html_url":"https://github.com/maelvalais","followers_url":"https://api.github.com/users/maelvalais/followers","following_url":"https://api.github.com/users/maelvalais/following{/other_user}","gists_url":"https://api.github.com/users/maelvalais/gists{/gist_id}","starred_url":"https://api.github.com/users/maelvalais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maelvalais/subscriptions","organizations_url":"https://api.github.com/users/maelvalais/orgs","repos_url":"https://api.github.com/users/maelvalais/repos","events_url":"https://api.github.com/users/maelvalais/events{/privacy}","received_events_url":"https://api.github.com/users/maelvalais/received_events","type":"User","site_admin":false},"body":"Je croyais dans l'issue #113 que `-smt2` ne permettait pas d'utiliser `-o file` mais en réalité, c'est parce que  `-smt2` attend une chaine de caractères qui correspond au [type de logique SMT](http://smtlib.cs.uiowa.edu/logics.shtml).\r\n\r\nEt comme il n'y a pas de test sur ce qui est après `-smt2`, cela \"mange\" le paramètre qui est juste après. du coup, dans ma commande \r\n\r\n    touistc -smt2 -o output.smt2 test.touistl\r\n\r\nla chaine de caractère attendue après `-smt2` se trouve être `-o`, d'où le problème de l'output qui ne fonctionne pas.\r\n\r\nJ'ai aussi, par la même occasion, ajouté un peu plus de documentation concernant `-smt2`. \r\n\r\nFixes #113\r\n\r\n\r\n<!---\r\n@huboard:{\"order\":56.5,\"milestone_order\":118,\"custom_state\":\"\"}\n-->\r\n","created_at":"2016-03-13T17:21:09Z","updated_at":"2016-03-29T13:18:46Z","closed_at":"2016-03-29T13:18:45Z","merged_at":"2016-03-29T13:18:45Z","merge_commit_sha":"375fc82d208131db1ebc0b833e7842741bfb7da5","assignee":null,"milestone":{"url":"https://api.github.com/repos/FredMaris/touist/milestones/5","html_url":"https://github.com/FredMaris/touist/milestones/v1.1.2","labels_url":"https://api.github.com/repos/FredMaris/touist/milestones/5/labels","id":1663389,"number":5,"title":"v1.1.2","description":"","creator":{"login":"maelvalais","id":2195781,"avatar_url":"https://avatars.githubusercontent.com/u/2195781?v=3","gravatar_id":"","url":"https://api.github.com/users/maelvalais","html_url":"https://github.com/maelvalais","followers_url":"https://api.github.com/users/maelvalais/followers","following_url":"https://api.github.com/users/maelvalais/following{/other_user}","gists_url":"https://api.github.com/users/maelvalais/gists{/gist_id}","starred_url":"https://api.github.com/users/maelvalais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maelvalais/subscriptions","organizations_url":"https://api.github.com/users/maelvalais/orgs","repos_url":"https://api.github.com/users/maelvalais/repos","events_url":"https://api.github.com/users/maelvalais/events{/privacy}","received_events_url":"https://api.github.com/users/maelvalais/received_events","type":"User","site_admin":false},"open_issues":4,"closed_issues":4,"state":"open","created_at":"2016-03-24T07:37:38Z","updated_at":"2016-03-29T13:18:46Z","due_on":"2016-04-02T22:00:00Z","closed_at":null},"commits_url":"https://api.github.com/repos/FredMaris/touist/pulls/118/commits","review_comments_url":"https://api.github.com/repos/FredMaris/touist/pulls/118/comments","review_comment_url":"https://api.github.com/repos/FredMaris/touist/pulls/comments{/number}","comments_url":"https://api.github.com/repos/FredMaris/touist/issues/118/comments","statuses_url":"https://api.github.com/repos/FredMaris/touist/statuses/3f5c9a415c32630012568b8fe0644005a9bdb304","head":{"label":"FredMaris:fix/smt2-option-in-touistc","ref":"fix/smt2-option-in-touistc","sha":"3f5c9a415c32630012568b8fe0644005a9bdb304","user":{"login":"FredMaris","id":17496895,"avatar_url":"https://avatars.githubusercontent.com/u/17496895?v=3","gravatar_id":"","url":"https://api.github.com/users/FredMaris","html_url":"https://github.com/FredMaris","followers_url":"https://api.github.com/users/FredMaris/followers","following_url":"https://api.github.com/users/FredMaris/following{/other_user}","gists_url":"https://api.github.com/users/FredMaris/gists{/gist_id}","starred_url":"https://api.github.com/users/FredMaris/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FredMaris/subscriptions","organizations_url":"https://api.github.com/users/FredMaris/orgs","repos_url":"https://api.github.com/users/FredMaris/repos","events_url":"https://api.github.com/users/FredMaris/events{/privacy}","received_events_url":"https://api.github.com/users/FredMaris/received_events","type":"User","site_admin":false},"repo":{"id":30116159,"name":"touist","full_name":"FredMaris/touist","owner":{"login":"FredMaris","id":17496895,"avatar_url":"https://avatars.githubusercontent.com/u/17496895?v=3","gravatar_id":"","url":"https://api.github.com/users/FredMaris","html_url":"https://github.com/FredMaris","followers_url":"https://api.github.com/users/FredMaris/followers","following_url":"https://api.github.com/users/FredMaris/following{/other_user}","gists_url":"https://api.github.com/users/FredMaris/gists{/gist_id}","starred_url":"https://api.github.com/users/FredMaris/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FredMaris/subscriptions","organizations_url":"https://api.github.com/users/FredMaris/orgs","repos_url":"https://api.github.com/users/FredMaris/repos","events_url":"https://api.github.com/users/FredMaris/events{/privacy}","received_events_url":"https://api.github.com/users/FredMaris/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/FredMaris/touist","description":"SAT/SMT solvers interface","fork":false,"url":"https://api.github.com/repos/FredMaris/touist","forks_url":"https://api.github.com/repos/FredMaris/touist/forks","keys_url":"https://api.github.com/repos/FredMaris/touist/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FredMaris/touist/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FredMaris/touist/teams","hooks_url":"https://api.github.com/repos/FredMaris/touist/hooks","issue_events_url":"https://api.github.com/repos/FredMaris/touist/issues/events{/number}","events_url":"https://api.github.com/repos/FredMaris/touist/events","assignees_url":"https://api.github.com/repos/FredMaris/touist/assignees{/user}","branches_url":"https://api.github.com/repos/FredMaris/touist/branches{/branch}","tags_url":"https://api.github.com/repos/FredMaris/touist/tags","blobs_url":"https://api.github.com/repos/FredMaris/touist/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FredMaris/touist/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FredMaris/touist/git/refs{/sha}","trees_url":"https://api.github.com/repos/FredMaris/touist/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FredMaris/touist/statuses/{sha}","languages_url":"https://api.github.com/repos/FredMaris/touist/languages","stargazers_url":"https://api.github.com/repos/FredMaris/touist/stargazers","contributors_url":"https://api.github.com/repos/FredMaris/touist/contributors","subscribers_url":"https://api.github.com/repos/FredMaris/touist/subscribers","subscription_url":"https://api.github.com/repos/FredMaris/touist/subscription","commits_url":"https://api.github.com/repos/FredMaris/touist/commits{/sha}","git_commits_url":"https://api.github.com/repos/FredMaris/touist/git/commits{/sha}","comments_url":"https://api.github.com/repos/FredMaris/touist/comments{/number}","issue_comment_url":"https://api.github.com/repos/FredMaris/touist/issues/comments{/number}","contents_url":"https://api.github.com/repos/FredMaris/touist/contents/{+path}","compare_url":"https://api.github.com/repos/FredMaris/touist/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FredMaris/touist/merges","archive_url":"https://api.github.com/repos/FredMaris/touist/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FredMaris/touist/downloads","issues_url":"https://api.github.com/repos/FredMaris/touist/issues{/number}","pulls_url":"https://api.github.com/repos/FredMaris/touist/pulls{/number}","milestones_url":"https://api.github.com/repos/FredMaris/touist/milestones{/number}","notifications_url":"https://api.github.com/repos/FredMaris/touist/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FredMaris/touist/labels{/name}","releases_url":"https://api.github.com/repos/FredMaris/touist/releases{/id}","deployments_url":"https://api.github.com/repos/FredMaris/touist/deployments","created_at":"2015-01-31T15:26:24Z","updated_at":"2016-02-26T14:27:24Z","pushed_at":"2016-03-29T13:18:46Z","git_url":"git://github.com/FredMaris/touist.git","ssh_url":"git@github.com:FredMaris/touist.git","clone_url":"https://github.com/FredMaris/touist.git","svn_url":"https://github.com/FredMaris/touist","homepage":"","size":10022,"stargazers_count":5,"watchers_count":5,"language":"Java","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":5,"mirror_url":null,"open_issues_count":29,"forks":5,"open_issues":29,"watchers":5,"default_branch":"master"}},"base":{"label":"FredMaris:master","ref":"master","sha":"cd7d14d0e151c9d1a07f172e4c41ac2fc207d060","user":{"login":"FredMaris","id":17496895,"avatar_url":"https://avatars.githubusercontent.com/u/17496895?v=3","gravatar_id":"","url":"https://api.github.com/users/FredMaris","html_url":"https://github.com/FredMaris","followers_url":"https://api.github.com/users/FredMaris/followers","following_url":"https://api.github.com/users/FredMaris/following{/other_user}","gists_url":"https://api.github.com/users/FredMaris/gists{/gist_id}","starred_url":"https://api.github.com/users/FredMaris/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FredMaris/subscriptions","organizations_url":"https://api.github.com/users/FredMaris/orgs","repos_url":"https://api.github.com/users/FredMaris/repos","events_url":"https://api.github.com/users/FredMaris/events{/privacy}","received_events_url":"https://api.github.com/users/FredMaris/received_events","type":"User","site_admin":false},"repo":{"id":30116159,"name":"touist","full_name":"FredMaris/touist","owner":{"login":"FredMaris","id":17496895,"avatar_url":"https://avatars.githubusercontent.com/u/17496895?v=3","gravatar_id":"","url":"https://api.github.com/users/FredMaris","html_url":"https://github.com/FredMaris","followers_url":"https://api.github.com/users/FredMaris/followers","following_url":"https://api.github.com/users/FredMaris/following{/other_user}","gists_url":"https://api.github.com/users/FredMaris/gists{/gist_id}","starred_url":"https://api.github.com/users/FredMaris/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FredMaris/subscriptions","organizations_url":"https://api.github.com/users/FredMaris/orgs","repos_url":"https://api.github.com/users/FredMaris/repos","events_url":"https://api.github.com/users/FredMaris/events{/privacy}","received_events_url":"https://api.github.com/users/FredMaris/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/FredMaris/touist","description":"SAT/SMT solvers interface","fork":false,"url":"https://api.github.com/repos/FredMaris/touist","forks_url":"https://api.github.com/repos/FredMaris/touist/forks","keys_url":"https://api.github.com/repos/FredMaris/touist/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FredMaris/touist/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FredMaris/touist/teams","hooks_url":"https://api.github.com/repos/FredMaris/touist/hooks","issue_events_url":"https://api.github.com/repos/FredMaris/touist/issues/events{/number}","events_url":"https://api.github.com/repos/FredMaris/touist/events","assignees_url":"https://api.github.com/repos/FredMaris/touist/assignees{/user}","branches_url":"https://api.github.com/repos/FredMaris/touist/branches{/branch}","tags_url":"https://api.github.com/repos/FredMaris/touist/tags","blobs_url":"https://api.github.com/repos/FredMaris/touist/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FredMaris/touist/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FredMaris/touist/git/refs{/sha}","trees_url":"https://api.github.com/repos/FredMaris/touist/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FredMaris/touist/statuses/{sha}","languages_url":"https://api.github.com/repos/FredMaris/touist/languages","stargazers_url":"https://api.github.com/repos/FredMaris/touist/stargazers","contributors_url":"https://api.github.com/repos/FredMaris/touist/contributors","subscribers_url":"https://api.github.com/repos/FredMaris/touist/subscribers","subscription_url":"https://api.github.com/repos/FredMaris/touist/subscription","commits_url":"https://api.github.com/repos/FredMaris/touist/commits{/sha}","git_commits_url":"https://api.github.com/repos/FredMaris/touist/git/commits{/sha}","comments_url":"https://api.github.com/repos/FredMaris/touist/comments{/number}","issue_comment_url":"https://api.github.com/repos/FredMaris/touist/issues/comments{/number}","contents_url":"https://api.github.com/repos/FredMaris/touist/contents/{+path}","compare_url":"https://api.github.com/repos/FredMaris/touist/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FredMaris/touist/merges","archive_url":"https://api.github.com/repos/FredMaris/touist/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FredMaris/touist/downloads","issues_url":"https://api.github.com/repos/FredMaris/touist/issues{/number}","pulls_url":"https://api.github.com/repos/FredMaris/touist/pulls{/number}","milestones_url":"https://api.github.com/repos/FredMaris/touist/milestones{/number}","notifications_url":"https://api.github.com/repos/FredMaris/touist/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FredMaris/touist/labels{/name}","releases_url":"https://api.github.com/repos/FredMaris/touist/releases{/id}","deployments_url":"https://api.github.com/repos/FredMaris/touist/deployments","created_at":"2015-01-31T15:26:24Z","updated_at":"2016-02-26T14:27:24Z","pushed_at":"2016-03-29T13:18:46Z","git_url":"git://github.com/FredMaris/touist.git","ssh_url":"git@github.com:FredMaris/touist.git","clone_url":"https://github.com/FredMaris/touist.git","svn_url":"https://github.com/FredMaris/touist","homepage":"","size":10022,"stargazers_count":5,"watchers_count":5,"language":"Java","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":5,"mirror_url":null,"open_issues_count":29,"forks":5,"open_issues":29,"watchers":5,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/FredMaris/touist/pulls/118"},"html":{"href":"https://github.com/FredMaris/touist/pull/118"},"issue":{"href":"https://api.github.com/repos/FredMaris/touist/issues/118"},"comments":{"href":"https://api.github.com/repos/FredMaris/touist/issues/118/comments"},"review_comments":{"href":"https://api.github.com/repos/FredMaris/touist/pulls/118/comments"},"review_comment":{"href":"https://api.github.com/repos/FredMaris/touist/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/FredMaris/touist/pulls/118/commits"},"statuses":{"href":"https://api.github.com/repos/FredMaris/touist/statuses/3f5c9a415c32630012568b8fe0644005a9bdb304"}},"merged":true,"mergeable":null,"mergeable_state":"unknown","merged_by":{"login":"maelvalais","id":2195781,"avatar_url":"https://avatars.githubusercontent.com/u/2195781?v=3","gravatar_id":"","url":"https://api.github.com/users/maelvalais","html_url":"https://github.com/maelvalais","followers_url":"https://api.github.com/users/maelvalais/followers","following_url":"https://api.github.com/users/maelvalais/following{/other_user}","gists_url":"https://api.github.com/users/maelvalais/gists{/gist_id}","starred_url":"https://api.github.com/users/maelvalais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maelvalais/subscriptions","organizations_url":"https://api.github.com/users/maelvalais/orgs","repos_url":"https://api.github.com/users/maelvalais/repos","events_url":"https://api.github.com/users/maelvalais/events{/privacy}","received_events_url":"https://api.github.com/users/maelvalais/received_events","type":"User","site_admin":false},"comments":0,"review_comments":0,"commits":4,"additions":25,"deletions":5,"changed_files":2}}