diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-12-13 18:39:26 -0600 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-14 00:39:26 +0000 |
| commit | 000feaeb02292d7a2873198664022801b12e5151 (patch) | |
| tree | 2420f2077f02ae1e2feb67689268d1ad5b6b3980 /src/theory/sets | |
| parent | bc59b160f3890f68c497dde13ff54c194f476eb4 (diff) | |
Make single invocation and invariant pre/post condition templates independent (#2749)
--cegqi-si=none previously disabled pre/post-condition templates for invariant synthesis. This PR eliminates this dependency.
There are no major code changes in this PR, unfortunately a large block of code changed indentation so I refactored it to be more up to date with the coding guidelines.
Diffstat (limited to 'src/theory/sets')
0 files changed, 0 insertions, 0 deletions