diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-11 10:57:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-11 10:57:00 -0500 |
| commit | 55f258cd92d7bc6fbb7a3b96712495f6885d871c (patch) | |
| tree | f29de0680ce41a5b0069a906a54640651ae9dedf /src/options/smt_options.toml | |
| parent | 10507bb67177a1e52bdd89535c3c6d77cc62507a (diff) | |
Fix (#4017)
Fixes #4001.
This assertion was more of a conjecture (stating that easy cases of miniscoping are already handled). However some option combinations can break this invariant, regardless the code should do the correct thing.
Diffstat (limited to 'src/options/smt_options.toml')
0 files changed, 0 insertions, 0 deletions