{"action":"opened","issue":{"url":"https://api.github.com/repos/kren1/testSymExec/issues/3","repository_url":"https://api.github.com/repos/kren1/testSymExec","labels_url":"https://api.github.com/repos/kren1/testSymExec/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/kren1/testSymExec/issues/3/comments","events_url":"https://api.github.com/repos/kren1/testSymExec/issues/3/events","html_url":"https://github.com/kren1/testSymExec/issues/3","id":196540557,"number":3,"title":"pointer to  int","user":{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false},"labels":[{"id":467310834,"url":"https://api.github.com/repos/kren1/testSymExec/labels/low%20prio","name":"low prio","color":"d4c5f9","default":false}],"state":"open","locked":false,"assignee":{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false},"assignees":[{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/kren1/testSymExec/milestones/1","html_url":"https://github.com/kren1/testSymExec/milestone/1","labels_url":"https://api.github.com/repos/kren1/testSymExec/milestones/1/labels","id":2205999,"number":1,"title":"new year","description":"Should be able to run the experiments both with klee and crest with both the old transformation and with 3 new transformation","creator":{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":0,"state":"open","created_at":"2016-12-19T22:41:15Z","updated_at":"2016-12-19T22:47:34Z","due_on":"2017-01-09T08:00:00Z","closed_at":null},"comments":0,"created_at":"2016-12-19T22:47:34Z","updated_at":"2016-12-19T22:47:34Z","closed_at":null,"body":"Transformation that introduces a pointer for an integer and replace all accesses to integer with a pointer deference. "}}
{"actor":{"display_login":"kren1"}}