diff options
author | Tim King <taking@cs.nyu.edu> | 2018-08-16 23:48:17 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-16 23:48:17 -0700 |
commit | 4d303b5e6de8a3b963357a3c0238ffe81d36f766 (patch) | |
tree | 54ef2fbfa6a57dee7753d39522fed89e21affa7f /test/regress/regress1/sygus | |
parent | 420f25b1c8103bec7d5fd63a8ade2d9373395e55 (diff) |
Initialize inputAssertions only when proofRecipe is non-null (#2325)
Most of the PR is clang-format cruft from picking up the contents of a PROOF({ ... });
Diffstat (limited to 'test/regress/regress1/sygus')
0 files changed, 0 insertions, 0 deletions