{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/433","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/433/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/433/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/433/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/433","id":103309172,"number":433,"title":"Should test suite ignore LIQUIDHASKELL_OPTS environment variable","user":{"login":"christetreault","id":5084845,"avatar_url":"https://avatars.githubusercontent.com/u/5084845?v=3","gravatar_id":"","url":"https://api.github.com/users/christetreault","html_url":"https://github.com/christetreault","followers_url":"https://api.github.com/users/christetreault/followers","following_url":"https://api.github.com/users/christetreault/following{/other_user}","gists_url":"https://api.github.com/users/christetreault/gists{/gist_id}","starred_url":"https://api.github.com/users/christetreault/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/christetreault/subscriptions","organizations_url":"https://api.github.com/users/christetreault/orgs","repos_url":"https://api.github.com/users/christetreault/repos","events_url":"https://api.github.com/users/christetreault/events{/privacy}","received_events_url":"https://api.github.com/users/christetreault/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/labels/easy","name":"easy","color":"bfe5bf"},{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":{"login":"christetreault","id":5084845,"avatar_url":"https://avatars.githubusercontent.com/u/5084845?v=3","gravatar_id":"","url":"https://api.github.com/users/christetreault","html_url":"https://github.com/christetreault","followers_url":"https://api.github.com/users/christetreault/followers","following_url":"https://api.github.com/users/christetreault/following{/other_user}","gists_url":"https://api.github.com/users/christetreault/gists{/gist_id}","starred_url":"https://api.github.com/users/christetreault/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/christetreault/subscriptions","organizations_url":"https://api.github.com/users/christetreault/orgs","repos_url":"https://api.github.com/users/christetreault/repos","events_url":"https://api.github.com/users/christetreault/events{/privacy}","received_events_url":"https://api.github.com/users/christetreault/received_events","type":"User","site_admin":false},"milestone":null,"comments":3,"created_at":"2015-08-26T16:18:08Z","updated_at":"2015-08-26T16:39:18Z","closed_at":null,"body":"While testing my fix for I had set `export LIQUIDHASKELL_OPTS=--no-termination`, and imagine my surprise when half the test suite failed.\r\n\r\nShould the test suite ignore this environment variable?"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/135100713","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/433#issuecomment-135100713","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/433","id":135100713,"user":{"login":"christetreault","id":5084845,"avatar_url":"https://avatars.githubusercontent.com/u/5084845?v=3","gravatar_id":"","url":"https://api.github.com/users/christetreault","html_url":"https://github.com/christetreault","followers_url":"https://api.github.com/users/christetreault/followers","following_url":"https://api.github.com/users/christetreault/following{/other_user}","gists_url":"https://api.github.com/users/christetreault/gists{/gist_id}","starred_url":"https://api.github.com/users/christetreault/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/christetreault/subscriptions","organizations_url":"https://api.github.com/users/christetreault/orgs","repos_url":"https://api.github.com/users/christetreault/repos","events_url":"https://api.github.com/users/christetreault/events{/privacy}","received_events_url":"https://api.github.com/users/christetreault/received_events","type":"User","site_admin":false},"created_at":"2015-08-26T16:39:18Z","updated_at":"2015-08-26T16:39:18Z","body":"I'm running the tests for your first suggestion right now. If that doesn't work I'll give your second a shot."}}