diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-22 13:26:26 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-22 13:26:41 -0600 |
| commit | 92d78a10ac24962efad4daf240acf5c5fb265a59 (patch) | |
| tree | 90911f825d9844ea7447993790a76e5f5c68513b /test/regress/regress0/bv/Makefile.am | |
| parent | 9c14d7c0ccdd220b8ae3d4a39cb5b5810bc28c01 (diff) | |
Fix smt2 and cvc printers for testers when output and input languages are different.
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
0 files changed, 0 insertions, 0 deletions