diff options
author | 2018-02-23 11:14:54 +0100 | |
---|---|---|
committer | 2018-02-28 19:44:38 +0100 | |
commit | ccb7bd2948e9bd84997f3461257b2ce1c7ad3e6a (patch) | |
tree | 4c9604bcaec5d10b3cc94c70df9b78991ec79a59 /.github | |
parent | 0c5f0afffd37582787f79267d9841259095b7edc (diff) |
Added tacticals assert_succeeds/assert_fails (courtesy of Jason Gross).
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions