{"action":"created","issue":{"url":"https://api.github.com/repos/jsverify/jsverify/issues/268","repository_url":"https://api.github.com/repos/jsverify/jsverify","labels_url":"https://api.github.com/repos/jsverify/jsverify/issues/268/labels{/name}","comments_url":"https://api.github.com/repos/jsverify/jsverify/issues/268/comments","events_url":"https://api.github.com/repos/jsverify/jsverify/issues/268/events","html_url":"https://github.com/jsverify/jsverify/issues/268","id":317625275,"number":268,"title":"mocha cannot set rngState","user":{"login":"emoilenne","id":22552600,"avatar_url":"https://avatars2.githubusercontent.com/u/22552600?v=4","gravatar_id":"","url":"https://api.github.com/users/emoilenne","html_url":"https://github.com/emoilenne","followers_url":"https://api.github.com/users/emoilenne/followers","following_url":"https://api.github.com/users/emoilenne/following{/other_user}","gists_url":"https://api.github.com/users/emoilenne/gists{/gist_id}","starred_url":"https://api.github.com/users/emoilenne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emoilenne/subscriptions","organizations_url":"https://api.github.com/users/emoilenne/orgs","repos_url":"https://api.github.com/users/emoilenne/repos","events_url":"https://api.github.com/users/emoilenne/events{/privacy}","received_events_url":"https://api.github.com/users/emoilenne/received_events","type":"User","site_admin":false},"labels":[{"id":203408542,"url":"https://api.github.com/repos/jsverify/jsverify/labels/pr%20welcome","name":"pr welcome","color":"009800","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-04-25T13:20:36Z","updated_at":"2018-04-26T15:14:23Z","closed_at":null,"author_association":"NONE","body":"I'm using mocha to run tests, but when I try to set specific rngState with this line:\r\n```\r\nmocha --jsverifyRngState 0c642be097f853a1cd --recursive\r\n```\r\nit throws error:\r\n```\r\nerror: unknown option `--jsverifyRngState'\r\n```"},"comment":{"url":"https://api.github.com/repos/jsverify/jsverify/issues/comments/384678250","html_url":"https://github.com/jsverify/jsverify/issues/268#issuecomment-384678250","issue_url":"https://api.github.com/repos/jsverify/jsverify/issues/268","id":384678250,"user":{"login":"StoneCypher","id":77482,"avatar_url":"https://avatars0.githubusercontent.com/u/77482?v=4","gravatar_id":"","url":"https://api.github.com/users/StoneCypher","html_url":"https://github.com/StoneCypher","followers_url":"https://api.github.com/users/StoneCypher/followers","following_url":"https://api.github.com/users/StoneCypher/following{/other_user}","gists_url":"https://api.github.com/users/StoneCypher/gists{/gist_id}","starred_url":"https://api.github.com/users/StoneCypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/StoneCypher/subscriptions","organizations_url":"https://api.github.com/users/StoneCypher/orgs","repos_url":"https://api.github.com/users/StoneCypher/repos","events_url":"https://api.github.com/users/StoneCypher/events{/privacy}","received_events_url":"https://api.github.com/users/StoneCypher/received_events","type":"User","site_admin":false},"created_at":"2018-04-26T15:14:22Z","updated_at":"2018-04-26T15:14:22Z","author_association":"CONTRIBUTOR","body":"Depending on depth, your options are:\r\n\r\n* (best, most work, vendor-supplied) [To create a custom UI](https://github.com/mochajs/mocha/wiki/Third-party-UIs) similar to the `bdd` and `tdd` setup.  This is publishable and reusable.\r\n* (reasonable, user-supplied) To [drop a `mocha.opts` file](https://mochajs.org/#mochaopts), which will be consumed by the test runner\r\n* (quick, user-supplied, moderately easy) [envvars](https://stackoverflow.com/a/16145019/763127)\r\n* (quick, user-supplied, horror-show, easy) To [manually parse the command line flags, remove the offender, and do the muck internally](https://stackoverflow.com/a/16150402/763127) using something like optimist, nconf, or minimist\r\n* (oh jesus no) when all else fails, [pick a fight with require](https://github.com/mochajs/mocha/issues/1715)\r\n\r\nA custom UI is probably the appropriate long term solution, but that's not trivial, so, that won't help this person today\r\n\r\nFor this person today, I'd recommend a `mocha.opts` file while waiting on a more durable long term solution"}}
{"actor":{"display_login":"StoneCypher"}}