{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/642","labels_url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/642/labels{/name}","comments_url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/642/comments","events_url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/642/events","html_url":"https://github.com/ocaml-batteries-team/batteries-included/issues/642","id":114052053,"number":642,"title":"make test error","user":{"login":"UnixJunkie","id":737920,"avatar_url":"https://avatars.githubusercontent.com/u/737920?v=3","gravatar_id":"","url":"https://api.github.com/users/UnixJunkie","html_url":"https://github.com/UnixJunkie","followers_url":"https://api.github.com/users/UnixJunkie/followers","following_url":"https://api.github.com/users/UnixJunkie/following{/other_user}","gists_url":"https://api.github.com/users/UnixJunkie/gists{/gist_id}","starred_url":"https://api.github.com/users/UnixJunkie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UnixJunkie/subscriptions","organizations_url":"https://api.github.com/users/UnixJunkie/orgs","repos_url":"https://api.github.com/users/UnixJunkie/repos","events_url":"https://api.github.com/users/UnixJunkie/events{/privacy}","received_events_url":"https://api.github.com/users/UnixJunkie/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/labels/Code%20bug","name":"Code bug","color":"e10c02"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":11,"created_at":"2015-10-29T13:43:44Z","updated_at":"2015-11-04T17:41:10Z","closed_at":null,"body":"\r\n    random seed: 156550782\r\n    \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\r\n    Error: >mid>src/batInt.ml:162\r\n    \r\n    Failure(\"law src/batInt.ml:162:  \\n\\n  (Q.pair Q.int Q.int) (fun (a,b) -> \\n    let m = mid a b in \\n    a <= b ==> (a <= m && m <= b && abs ((m-a) - (b-m)) <= 1) && \\n    b < a ==> (b <= m && m <= a && abs ((m-b) - (a-m)) <= 1))\\n\\n failed on 1 cases. Ex: (1094452460013516131, 3281843094753857183)\")\r\n    ///////////////////////////////////////////////////////////////////////////////\r\n    Ran: 1169 tests in: 18.27 seconds.                                        \r\n    WARNING! SOME TESTS ARE NEITHER SUCCESSES NOR FAILURES!\r\n    make: *** [test-byte] Error 1\r\n    "},"comment":{"url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/comments/153804010","html_url":"https://github.com/ocaml-batteries-team/batteries-included/issues/642#issuecomment-153804010","issue_url":"https://api.github.com/repos/ocaml-batteries-team/batteries-included/issues/642","id":153804010,"user":{"login":"UnixJunkie","id":737920,"avatar_url":"https://avatars.githubusercontent.com/u/737920?v=3","gravatar_id":"","url":"https://api.github.com/users/UnixJunkie","html_url":"https://github.com/UnixJunkie","followers_url":"https://api.github.com/users/UnixJunkie/followers","following_url":"https://api.github.com/users/UnixJunkie/following{/other_user}","gists_url":"https://api.github.com/users/UnixJunkie/gists{/gist_id}","starred_url":"https://api.github.com/users/UnixJunkie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UnixJunkie/subscriptions","organizations_url":"https://api.github.com/users/UnixJunkie/orgs","repos_url":"https://api.github.com/users/UnixJunkie/repos","events_url":"https://api.github.com/users/UnixJunkie/events{/privacy}","received_events_url":"https://api.github.com/users/UnixJunkie/received_events","type":"User","site_admin":false},"created_at":"2015-11-04T17:41:10Z","updated_at":"2015-11-04T17:41:10Z","body":"I guess I can replace it with && in my rewrite."}}