diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-01-09 15:39:07 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-09 15:39:07 -0600 |
commit | fb145effd5bfe67090736969478ff54cf7f62984 (patch) | |
tree | 275c110d057f195bb3e264d91a00706d7d575ebe /.gitignore | |
parent | 1df477011ed5d35f222340580cba916af3ba73b5 (diff) |
Do not rewrite 1-constructor sygus testers to true (#2780)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions