{"action":"created","issue":{"url":"https://api.github.com/repos/proper-testing/proper/issues/201","repository_url":"https://api.github.com/repos/proper-testing/proper","labels_url":"https://api.github.com/repos/proper-testing/proper/issues/201/labels{/name}","comments_url":"https://api.github.com/repos/proper-testing/proper/issues/201/comments","events_url":"https://api.github.com/repos/proper-testing/proper/issues/201/events","html_url":"https://github.com/proper-testing/proper/pull/201","id":484006696,"node_id":"MDExOlB1bGxSZXF1ZXN0MzA5OTcxMTQ1","number":201,"title":"Convert targeted to proper interface","user":{"login":"xspirus","id":34399797,"node_id":"MDQ6VXNlcjM0Mzk5Nzk3","avatar_url":"https://avatars3.githubusercontent.com/u/34399797?v=4","gravatar_id":"","url":"https://api.github.com/users/xspirus","html_url":"https://github.com/xspirus","followers_url":"https://api.github.com/users/xspirus/followers","following_url":"https://api.github.com/users/xspirus/following{/other_user}","gists_url":"https://api.github.com/users/xspirus/gists{/gist_id}","starred_url":"https://api.github.com/users/xspirus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xspirus/subscriptions","organizations_url":"https://api.github.com/users/xspirus/orgs","repos_url":"https://api.github.com/users/xspirus/repos","events_url":"https://api.github.com/users/xspirus/events{/privacy}","received_events_url":"https://api.github.com/users/xspirus/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2019-08-22T13:49:19Z","updated_at":"2019-09-02T11:32:57Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/proper-testing/proper/pulls/201","html_url":"https://github.com/proper-testing/proper/pull/201","diff_url":"https://github.com/proper-testing/proper/pull/201.diff","patch_url":"https://github.com/proper-testing/proper/pull/201.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/proper-testing/proper/issues/comments/527114135","html_url":"https://github.com/proper-testing/proper/pull/201#issuecomment-527114135","issue_url":"https://api.github.com/repos/proper-testing/proper/issues/201","id":527114135,"node_id":"MDEyOklzc3VlQ29tbWVudDUyNzExNDEzNQ==","user":{"login":"xspirus","id":34399797,"node_id":"MDQ6VXNlcjM0Mzk5Nzk3","avatar_url":"https://avatars3.githubusercontent.com/u/34399797?v=4","gravatar_id":"","url":"https://api.github.com/users/xspirus","html_url":"https://github.com/xspirus","followers_url":"https://api.github.com/users/xspirus/followers","following_url":"https://api.github.com/users/xspirus/following{/other_user}","gists_url":"https://api.github.com/users/xspirus/gists{/gist_id}","starred_url":"https://api.github.com/users/xspirus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xspirus/subscriptions","organizations_url":"https://api.github.com/users/xspirus/orgs","repos_url":"https://api.github.com/users/xspirus/repos","events_url":"https://api.github.com/users/xspirus/events{/privacy}","received_events_url":"https://api.github.com/users/xspirus/received_events","type":"User","site_admin":false},"created_at":"2019-09-02T11:32:57Z","updated_at":"2019-09-02T11:32:57Z","author_association":"NONE","body":"Hello @TheGeorge . So the main reason of this modification is, as I am working on `TPBT` for stateful systems with @kostis , to make `?FORALL_TARGETED` compatible with stateful testing as well. The main problem was that `Prop` in the case of stateful testing is not always a `boolean` but sometimes wrapped in `?TRAPEXIT` and `?WHENFAIL`. So the first modification comes as a need to accomodate stateful `TBPT`.\r\n\r\nThe second part of the changes, are mostly to comply with the rest of the `proper` interface, as `?FORALL_TARGETED` did not take into account `numsteps` and it also did not display the number of tests executed (always printed as 1 test)."}}
{"actor":{"display_login":"xspirus"}}