diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-14 10:31:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-14 15:31:07 +0000 |
| commit | efdefd95abd7de85963b9dd22e98e2858864cb07 (patch) | |
| tree | 1108123b3f08ac66d6db5a002955891e9a398809 /src/CMakeLists.txt | |
| parent | a37f486c6e10b882a81474418e1d3f4ffdbd583c (diff) | |
Reimplement `--dump=raw-benchmark` as `-o raw-benchmark` (#7191)
Printing the original benchmark is simple, as it is exactly the commands we execute.
This removes the previous code from SmtEngine, which is currently broken.
Diffstat (limited to 'src/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions