diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-08-25 15:00:11 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-25 15:00:11 -0300 |
| commit | c5eb77b96cd67b8d80ee8901a3f0b5ae7d54aab2 (patch) | |
| tree | 24ca2e0802a18c5ec27d50dd793a2b3a6ccf5a41 /src/printer/cvc/cvc_printer.cpp | |
| parent | 16578fca1c50d2ca9fce45c9c262db7ff6e2fd92 (diff) | |
Eliminating spurious replay of commands for define funs expansion when checking unsat cores (#4941)
Doing it via commands being added to the coreChecker SMT engine is not necessary since we can directly add assertions after expansion from the original SMT engine.
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
0 files changed, 0 insertions, 0 deletions