diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-02-24 14:30:02 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 14:30:02 -0600 |
| commit | c4f2ca4c1931f91a9647f0daa032ee9417f1b382 (patch) | |
| tree | a2396581d7de09b033fd44c8f7ad3310280bd5f6 /src/parser/input.h | |
| parent | 90fe2a057cdcdaea34f0a03f837159d9adb45914 (diff) | |
Fix bugs related to printing Sygus commands (#3804)
With this commit, most Sygus problems should print correctly. The current printing functionality was tested on 158 Sygus regress files (0, 1, and 2) and 153 of them were printed in Sygus2 format and contained "(check-synth)". The printing functionality was tested again on the generated files and gave almost the same results.
Diffstat (limited to 'src/parser/input.h')
0 files changed, 0 insertions, 0 deletions