diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-01 03:52:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 10:52:55 +0000 |
| commit | ffdc8a3676aad41d0fcef0290241aa9df2e5be1b (patch) | |
| tree | 8816ea1d63eabedd1722e78915038bef97755232 /src/theory/inference_id.h | |
| parent | 47ddb344f317496928dddd4b017867b8c07dbded (diff) | |
Refactor DidYouMean (#7535)
This refactors the `DidYouMean` class, which is used to make helpful suggestions for misspelled tags and options. It uses `std::vector` instead of `std::set`, moves it from `options` to `util` (so that we can keep using it in both libcvc5 and the driver) and generally modernizes the code a bit. Also, it replaces the stand-alone and never executed test by a regular unit test.
Diffstat (limited to 'src/theory/inference_id.h')
0 files changed, 0 insertions, 0 deletions