diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-03-23 12:20:23 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-23 12:20:23 -0500 |
commit | d95e5257f452d765aa67931f0b2af7b178f2e986 (patch) | |
tree | f67100dedc9b9a3c7eb477dd66664b31f7f15d73 /configure.ac | |
parent | d3528b6db31f9bdff56bc519bbf427b2533c43b8 (diff) |
Enable post-condition strenghtening by default for non-syntax restricted invariant synthesis (#1703)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions