{"action":"opened","issue":{"url":"https://api.github.com/repos/sid0/z3.rkt/issues/1","repository_url":"https://api.github.com/repos/sid0/z3.rkt","labels_url":"https://api.github.com/repos/sid0/z3.rkt/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/sid0/z3.rkt/issues/1/comments","events_url":"https://api.github.com/repos/sid0/z3.rkt/issues/1/events","html_url":"https://github.com/sid0/z3.rkt/issues/1","id":162002556,"number":1,"title":"Get error with `regexp-replace*` when running test","user":{"login":"philnguyen","id":128396,"avatar_url":"https://avatars.githubusercontent.com/u/128396?v=3","gravatar_id":"","url":"https://api.github.com/users/philnguyen","html_url":"https://github.com/philnguyen","followers_url":"https://api.github.com/users/philnguyen/followers","following_url":"https://api.github.com/users/philnguyen/following{/other_user}","gists_url":"https://api.github.com/users/philnguyen/gists{/gist_id}","starred_url":"https://api.github.com/users/philnguyen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/philnguyen/subscriptions","organizations_url":"https://api.github.com/users/philnguyen/orgs","repos_url":"https://api.github.com/users/philnguyen/repos","events_url":"https://api.github.com/users/philnguyen/events{/privacy}","received_events_url":"https://api.github.com/users/philnguyen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-06-23T19:21:32Z","updated_at":"2016-06-23T19:21:32Z","closed_at":null,"body":"When I try running a test case directly, e.g. one in `test-integers.rkt`:\r\n\r\n```{racket}\r\n(smt:with-context\r\n    (smt:new-context)\r\n    (smt:declare-fun a () Int)\r\n    (smt:assert (>/s a 10))\r\n    (smt:assert (</s a 20))\r\n    (check-eq? (smt:check-sat) 'sat)\r\n    (define a-eval (smt:eval a))\r\n    (check-true (and (> a-eval 10) (< a-eval 20)))\r\n    (smt:assert (=/s (+/s a 5) 14))\r\n    (check-eq? (smt:check-sat) 'unsat))\r\n```\r\n\r\nI get this error:\r\n```{racket}\r\n; regexp-replace*: contract violation\r\n;   expected: (or/c string? bytes?)\r\n;   given: 'mk-config\r\n;   argument position: 2nd\r\n;   other arguments...:\r\n;    #rx\"-\"\r\n;    \"_\"\r\n```"}}
{"actor":{"display_login":"philnguyen"}}