{"action":"created","issue":{"url":"https://api.github.com/repos/feliciahalim/klee/issues/13","labels_url":"https://api.github.com/repos/feliciahalim/klee/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/feliciahalim/klee/issues/13/comments","events_url":"https://api.github.com/repos/feliciahalim/klee/issues/13/events","html_url":"https://github.com/feliciahalim/klee/issues/13","id":124003691,"number":13,"title":"Regression Failures","user":{"login":"domainexpert","id":696558,"avatar_url":"https://avatars.githubusercontent.com/u/696558?v=3","gravatar_id":"","url":"https://api.github.com/users/domainexpert","html_url":"https://github.com/domainexpert","followers_url":"https://api.github.com/users/domainexpert/followers","following_url":"https://api.github.com/users/domainexpert/following{/other_user}","gists_url":"https://api.github.com/users/domainexpert/gists{/gist_id}","starred_url":"https://api.github.com/users/domainexpert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/domainexpert/subscriptions","organizations_url":"https://api.github.com/users/domainexpert/orgs","repos_url":"https://api.github.com/users/domainexpert/repos","events_url":"https://api.github.com/users/domainexpert/events{/privacy}","received_events_url":"https://api.github.com/users/domainexpert/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-12-28T00:54:25Z","updated_at":"2015-12-28T00:54:28Z","closed_at":null,"body":"_From @domainexpert on December 12, 2015 15:24_\n\nRegression test using `make check` fails on `Dogfood/ImmutableTest.cpp` and `Feature/DanglingConcreteReadExpr.c` at domainexpert/klee@45f967d2c17212ca972dfb9042fa5c7eaf51ca70.\n\n_Copied from original issue: domainexpert/klee#3_"},"comment":{"url":"https://api.github.com/repos/feliciahalim/klee/issues/comments/167451421","html_url":"https://github.com/feliciahalim/klee/issues/13#issuecomment-167451421","issue_url":"https://api.github.com/repos/feliciahalim/klee/issues/13","id":167451421,"user":{"login":"domainexpert","id":696558,"avatar_url":"https://avatars.githubusercontent.com/u/696558?v=3","gravatar_id":"","url":"https://api.github.com/users/domainexpert","html_url":"https://github.com/domainexpert","followers_url":"https://api.github.com/users/domainexpert/followers","following_url":"https://api.github.com/users/domainexpert/following{/other_user}","gists_url":"https://api.github.com/users/domainexpert/gists{/gist_id}","starred_url":"https://api.github.com/users/domainexpert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/domainexpert/subscriptions","organizations_url":"https://api.github.com/users/domainexpert/orgs","repos_url":"https://api.github.com/users/domainexpert/repos","events_url":"https://api.github.com/users/domainexpert/events{/privacy}","received_events_url":"https://api.github.com/users/domainexpert/received_events","type":"User","site_admin":false},"created_at":"2015-12-28T00:54:28Z","updated_at":"2015-12-28T00:54:28Z","body":"An option `-no-interpolation` has been implemented in domainexpert/klee@d058fc826fbdfbc810bfa85ba846cb62979943e1, resolving the issue with `Feature/DanglingConcreteReadExpr.c`."}}