{"action":"created","comment":{"url":"https://api.github.com/repos/randoop/randoop/pulls/comments/47981823","id":47981823,"diff_hunk":"@@ -5,13 +5,13 @@\n import java.util.Arrays;\n import java.util.List;\n \n+import randoop.Globals;","path":"src/randoop/main/Help.java","position":4,"original_position":4,"commit_id":"aed09b24df5a87d863a7d87ca80712f80d9bd5b5","original_commit_id":"aed09b24df5a87d863a7d87ca80712f80d9bd5b5","user":{"login":"mernst","id":121025,"avatar_url":"https://avatars.githubusercontent.com/u/121025?v=3","gravatar_id":"","url":"https://api.github.com/users/mernst","html_url":"https://github.com/mernst","followers_url":"https://api.github.com/users/mernst/followers","following_url":"https://api.github.com/users/mernst/following{/other_user}","gists_url":"https://api.github.com/users/mernst/gists{/gist_id}","starred_url":"https://api.github.com/users/mernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mernst/subscriptions","organizations_url":"https://api.github.com/users/mernst/orgs","repos_url":"https://api.github.com/users/mernst/repos","events_url":"https://api.github.com/users/mernst/events{/privacy}","received_events_url":"https://api.github.com/users/mernst/received_events","type":"User","site_admin":false},"body":"This reordering is weird to me.  It seems that before, the utility classes were first (JDK classes, then plume-lib).  Now what is the order?","created_at":"2015-12-18T00:36:40Z","updated_at":"2015-12-18T00:36:40Z","html_url":"https://github.com/randoop/randoop/pull/73#discussion_r47981823","pull_request_url":"https://api.github.com/repos/randoop/randoop/pulls/73","_links":{"self":{"href":"https://api.github.com/repos/randoop/randoop/pulls/comments/47981823"},"html":{"href":"https://github.com/randoop/randoop/pull/73#discussion_r47981823"},"pull_request":{"href":"https://api.github.com/repos/randoop/randoop/pulls/73"}}},"pull_request":{"url":"https://api.github.com/repos/randoop/randoop/pulls/73","id":54046410,"html_url":"https://github.com/randoop/randoop/pull/73","diff_url":"https://github.com/randoop/randoop/pull/73.diff","patch_url":"https://github.com/randoop/randoop/pull/73.patch","issue_url":"https://api.github.com/repos/randoop/randoop/issues/73","number":73,"state":"open","locked":false,"title":"Fix NPE flakiness and update command-line","user":{"login":"bjkeller","id":5479869,"avatar_url":"https://avatars.githubusercontent.com/u/5479869?v=3","gravatar_id":"","url":"https://api.github.com/users/bjkeller","html_url":"https://github.com/bjkeller","followers_url":"https://api.github.com/users/bjkeller/followers","following_url":"https://api.github.com/users/bjkeller/following{/other_user}","gists_url":"https://api.github.com/users/bjkeller/gists{/gist_id}","starred_url":"https://api.github.com/users/bjkeller/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bjkeller/subscriptions","organizations_url":"https://api.github.com/users/bjkeller/orgs","repos_url":"https://api.github.com/users/bjkeller/repos","events_url":"https://api.github.com/users/bjkeller/events{/privacy}","received_events_url":"https://api.github.com/users/bjkeller/received_events","type":"User","site_admin":false},"body":"This PR started out as a fix to the complaint about the behavior of no-NPE-contract under the flag --forbid-null, but also includes a major refactor of the command-line interface and the output of tests.  Specifically, regression and error-revealing tests are now output separately. The user also has finer control over what is output, and what is considered a failure. Also, removes command line arguments that were residue from previous research projects.","created_at":"2015-12-17T23:26:52Z","updated_at":"2015-12-18T00:36:40Z","closed_at":null,"merged_at":null,"merge_commit_sha":"6cb42fc4dcee13199771a3d50950bf2c6c4e2f52","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/randoop/randoop/pulls/73/commits","review_comments_url":"https://api.github.com/repos/randoop/randoop/pulls/73/comments","review_comment_url":"https://api.github.com/repos/randoop/randoop/pulls/comments{/number}","comments_url":"https://api.github.com/repos/randoop/randoop/issues/73/comments","statuses_url":"https://api.github.com/repos/randoop/randoop/statuses/aed09b24df5a87d863a7d87ca80712f80d9bd5b5","head":{"label":"randoop:npe-flakiness","ref":"npe-flakiness","sha":"aed09b24df5a87d863a7d87ca80712f80d9bd5b5","user":{"login":"randoop","id":15037885,"avatar_url":"https://avatars.githubusercontent.com/u/15037885?v=3","gravatar_id":"","url":"https://api.github.com/users/randoop","html_url":"https://github.com/randoop","followers_url":"https://api.github.com/users/randoop/followers","following_url":"https://api.github.com/users/randoop/following{/other_user}","gists_url":"https://api.github.com/users/randoop/gists{/gist_id}","starred_url":"https://api.github.com/users/randoop/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/randoop/subscriptions","organizations_url":"https://api.github.com/users/randoop/orgs","repos_url":"https://api.github.com/users/randoop/repos","events_url":"https://api.github.com/users/randoop/events{/privacy}","received_events_url":"https://api.github.com/users/randoop/received_events","type":"Organization","site_admin":false},"repo":{"id":34923107,"name":"randoop","full_name":"randoop/randoop","owner":{"login":"randoop","id":15037885,"avatar_url":"https://avatars.githubusercontent.com/u/15037885?v=3","gravatar_id":"","url":"https://api.github.com/users/randoop","html_url":"https://github.com/randoop","followers_url":"https://api.github.com/users/randoop/followers","following_url":"https://api.github.com/users/randoop/following{/other_user}","gists_url":"https://api.github.com/users/randoop/gists{/gist_id}","starred_url":"https://api.github.com/users/randoop/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/randoop/subscriptions","organizations_url":"https://api.github.com/users/randoop/orgs","repos_url":"https://api.github.com/users/randoop/repos","events_url":"https://api.github.com/users/randoop/events{/privacy}","received_events_url":"https://api.github.com/users/randoop/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/randoop/randoop","description":"Automatic test generation for Java","fork":false,"url":"https://api.github.com/repos/randoop/randoop","forks_url":"https://api.github.com/repos/randoop/randoop/forks","keys_url":"https://api.github.com/repos/randoop/randoop/keys{/key_id}","collaborators_url":"https://api.github.com/repos/randoop/randoop/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/randoop/randoop/teams","hooks_url":"https://api.github.com/repos/randoop/randoop/hooks","issue_events_url":"https://api.github.com/repos/randoop/randoop/issues/events{/number}","events_url":"https://api.github.com/repos/randoop/randoop/events","assignees_url":"https://api.github.com/repos/randoop/randoop/assignees{/user}","branches_url":"https://api.github.com/repos/randoop/randoop/branches{/branch}","tags_url":"https://api.github.com/repos/randoop/randoop/tags","blobs_url":"https://api.github.com/repos/randoop/randoop/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/randoop/randoop/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/randoop/randoop/git/refs{/sha}","trees_url":"https://api.github.com/repos/randoop/randoop/git/trees{/sha}","statuses_url":"https://api.github.com/repos/randoop/randoop/statuses/{sha}","languages_url":"https://api.github.com/repos/randoop/randoop/languages","stargazers_url":"https://api.github.com/repos/randoop/randoop/stargazers","contributors_url":"https://api.github.com/repos/randoop/randoop/contributors","subscribers_url":"https://api.github.com/repos/randoop/randoop/subscribers","subscription_url":"https://api.github.com/repos/randoop/randoop/subscription","commits_url":"https://api.github.com/repos/randoop/randoop/commits{/sha}","git_commits_url":"https://api.github.com/repos/randoop/randoop/git/commits{/sha}","comments_url":"https://api.github.com/repos/randoop/randoop/comments{/number}","issue_comment_url":"https://api.github.com/repos/randoop/randoop/issues/comments{/number}","contents_url":"https://api.github.com/repos/randoop/randoop/contents/{+path}","compare_url":"https://api.github.com/repos/randoop/randoop/compare/{base}...{head}","merges_url":"https://api.github.com/repos/randoop/randoop/merges","archive_url":"https://api.github.com/repos/randoop/randoop/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/randoop/randoop/downloads","issues_url":"https://api.github.com/repos/randoop/randoop/issues{/number}","pulls_url":"https://api.github.com/repos/randoop/randoop/pulls{/number}","milestones_url":"https://api.github.com/repos/randoop/randoop/milestones{/number}","notifications_url":"https://api.github.com/repos/randoop/randoop/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/randoop/randoop/labels{/name}","releases_url":"https://api.github.com/repos/randoop/randoop/releases{/id}","created_at":"2015-05-01T20:42:29Z","updated_at":"2015-12-14T03:20:16Z","pushed_at":"2015-12-17T23:26:52Z","git_url":"git://github.com/randoop/randoop.git","ssh_url":"git@github.com:randoop/randoop.git","clone_url":"https://github.com/randoop/randoop.git","svn_url":"https://github.com/randoop/randoop","homepage":"http://randoop.github.io/randoop/","size":349637,"stargazers_count":17,"watchers_count":17,"language":"Java","has_issues":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"forks_count":7,"mirror_url":null,"open_issues_count":9,"forks":7,"open_issues":9,"watchers":17,"default_branch":"master"}},"base":{"label":"randoop:master","ref":"master","sha":"648446cf20801558a11c89d5504d941b51db87de","user":{"login":"randoop","id":15037885,"avatar_url":"https://avatars.githubusercontent.com/u/15037885?v=3","gravatar_id":"","url":"https://api.github.com/users/randoop","html_url":"https://github.com/randoop","followers_url":"https://api.github.com/users/randoop/followers","following_url":"https://api.github.com/users/randoop/following{/other_user}","gists_url":"https://api.github.com/users/randoop/gists{/gist_id}","starred_url":"https://api.github.com/users/randoop/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/randoop/subscriptions","organizations_url":"https://api.github.com/users/randoop/orgs","repos_url":"https://api.github.com/users/randoop/repos","events_url":"https://api.github.com/users/randoop/events{/privacy}","received_events_url":"https://api.github.com/users/randoop/received_events","type":"Organization","site_admin":false},"repo":{"id":34923107,"name":"randoop","full_name":"randoop/randoop","owner":{"login":"randoop","id":15037885,"avatar_url":"https://avatars.githubusercontent.com/u/15037885?v=3","gravatar_id":"","url":"https://api.github.com/users/randoop","html_url":"https://github.com/randoop","followers_url":"https://api.github.com/users/randoop/followers","following_url":"https://api.github.com/users/randoop/following{/other_user}","gists_url":"https://api.github.com/users/randoop/gists{/gist_id}","starred_url":"https://api.github.com/users/randoop/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/randoop/subscriptions","organizations_url":"https://api.github.com/users/randoop/orgs","repos_url":"https://api.github.com/users/randoop/repos","events_url":"https://api.github.com/users/randoop/events{/privacy}","received_events_url":"https://api.github.com/users/randoop/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/randoop/randoop","description":"Automatic test generation for Java","fork":false,"url":"https://api.github.com/repos/randoop/randoop","forks_url":"https://api.github.com/repos/randoop/randoop/forks","keys_url":"https://api.github.com/repos/randoop/randoop/keys{/key_id}","collaborators_url":"https://api.github.com/repos/randoop/randoop/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/randoop/randoop/teams","hooks_url":"https://api.github.com/repos/randoop/randoop/hooks","issue_events_url":"https://api.github.com/repos/randoop/randoop/issues/events{/number}","events_url":"https://api.github.com/repos/randoop/randoop/events","assignees_url":"https://api.github.com/repos/randoop/randoop/assignees{/user}","branches_url":"https://api.github.com/repos/randoop/randoop/branches{/branch}","tags_url":"https://api.github.com/repos/randoop/randoop/tags","blobs_url":"https://api.github.com/repos/randoop/randoop/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/randoop/randoop/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/randoop/randoop/git/refs{/sha}","trees_url":"https://api.github.com/repos/randoop/randoop/git/trees{/sha}","statuses_url":"https://api.github.com/repos/randoop/randoop/statuses/{sha}","languages_url":"https://api.github.com/repos/randoop/randoop/languages","stargazers_url":"https://api.github.com/repos/randoop/randoop/stargazers","contributors_url":"https://api.github.com/repos/randoop/randoop/contributors","subscribers_url":"https://api.github.com/repos/randoop/randoop/subscribers","subscription_url":"https://api.github.com/repos/randoop/randoop/subscription","commits_url":"https://api.github.com/repos/randoop/randoop/commits{/sha}","git_commits_url":"https://api.github.com/repos/randoop/randoop/git/commits{/sha}","comments_url":"https://api.github.com/repos/randoop/randoop/comments{/number}","issue_comment_url":"https://api.github.com/repos/randoop/randoop/issues/comments{/number}","contents_url":"https://api.github.com/repos/randoop/randoop/contents/{+path}","compare_url":"https://api.github.com/repos/randoop/randoop/compare/{base}...{head}","merges_url":"https://api.github.com/repos/randoop/randoop/merges","archive_url":"https://api.github.com/repos/randoop/randoop/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/randoop/randoop/downloads","issues_url":"https://api.github.com/repos/randoop/randoop/issues{/number}","pulls_url":"https://api.github.com/repos/randoop/randoop/pulls{/number}","milestones_url":"https://api.github.com/repos/randoop/randoop/milestones{/number}","notifications_url":"https://api.github.com/repos/randoop/randoop/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/randoop/randoop/labels{/name}","releases_url":"https://api.github.com/repos/randoop/randoop/releases{/id}","created_at":"2015-05-01T20:42:29Z","updated_at":"2015-12-14T03:20:16Z","pushed_at":"2015-12-17T23:26:52Z","git_url":"git://github.com/randoop/randoop.git","ssh_url":"git@github.com:randoop/randoop.git","clone_url":"https://github.com/randoop/randoop.git","svn_url":"https://github.com/randoop/randoop","homepage":"http://randoop.github.io/randoop/","size":349637,"stargazers_count":17,"watchers_count":17,"language":"Java","has_issues":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"forks_count":7,"mirror_url":null,"open_issues_count":9,"forks":7,"open_issues":9,"watchers":17,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/randoop/randoop/pulls/73"},"html":{"href":"https://github.com/randoop/randoop/pull/73"},"issue":{"href":"https://api.github.com/repos/randoop/randoop/issues/73"},"comments":{"href":"https://api.github.com/repos/randoop/randoop/issues/73/comments"},"review_comments":{"href":"https://api.github.com/repos/randoop/randoop/pulls/73/comments"},"review_comment":{"href":"https://api.github.com/repos/randoop/randoop/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/randoop/randoop/pulls/73/commits"},"statuses":{"href":"https://api.github.com/repos/randoop/randoop/statuses/aed09b24df5a87d863a7d87ca80712f80d9bd5b5"}}}}