diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-10 10:17:18 -0600 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-10 10:17:18 -0600 |
commit | 78608a5925938d7ae78b5ac08d2f003d7332810a (patch) | |
tree | 38b284b633052cc380ab64f0bd59b06daf52b72f /test/regress/regress0/sygus/constant.sy | |
parent | 8194c44801d30c0e0aa6129490e0523851b24209 (diff) |
Fix model postprocessor for tuples, add regression.
Diffstat (limited to 'test/regress/regress0/sygus/constant.sy')
0 files changed, 0 insertions, 0 deletions