diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-08 15:57:45 -0500 |
|---|---|---|
| committer | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-08-08 15:57:45 -0500 |
| commit | c7489b25e3e50437785e7b739288475e4cdc8626 (patch) | |
| tree | 75a04bd5cd1ec4b7efd6956c81be4902a443d44c /test/regress/regress2/bug765.smt2 | |
| parent | 2947a2f2af0e9a40c3be9ba2e84f634c36e0dd0f (diff) | |
Add debug test for sygus subcall verify calls. (#2287)
Diffstat (limited to 'test/regress/regress2/bug765.smt2')
0 files changed, 0 insertions, 0 deletions