PR #1015 feat(tactic/basic): adds `contrapose` tactic

feat(tactic/basic): adds `contrapose` tactic #1015

mergify merged 6 commits into master from contrapose

feat(tactic/basic): adds `contrapose` tactic

0f9a93df

PatrickMassot requested a review 6 years ago

fix(tactic/push_neg): fix is_prop testing

fcd1f553

robertylewis assigned

robertylewis 6 years ago

Setup error message testing following Rob, add tests for `contrapose`

2005231c

Merge remote-tracking branch 'community/master' into contrapose

1a6bf095

refactor(tactic/interactive): move noninteractive success_if_fail_wit…

ad1fc0f5

robertylewis dismissed these changes on 2019-05-20

mergify dismissed their stale review 6 years ago

Pull request has been modified.

robertylewis added ready-to-merge

Merge branch 'master' into contrapose

fd84785f

sgouezel dismissed these changes on 2019-05-20

mergify dismissed their stale review 6 years ago

Pull request has been modified.

robertylewis approved these changes on 2019-05-20

mergify merged d001abfd into master 6 years ago

mergify deleted the contrapose branch 6 years ago

Reviewers

robertylewis

sgouezel

Assignees

robertylewis

Labels

ready-to-merge

Milestone

No milestone