diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-02 12:55:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 19:55:08 +0000 |
commit | a0fede7caca61826f9f82ae8bb60e1dae3c68104 (patch) | |
tree | 7c43480c79dd71cdd94aee5d211de400bfaf2ac6 /src/main | |
parent | 7ff254480c38b721a506bb0c174bcd8cb34924ef (diff) |
Disable sygus-inst for regression close to time limit. (#7122)
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions