projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74c5067) | patch
Make `-o raw-benchmark` work with `--parse-only` (#7195)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 14 Sep 2021 21:54:42 +0000 (14:54 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 21:54:42 +0000 (21:54 +0000)
commit3437ec5c40091503f5c9ba026ce25f813be51d87
tree179ceeceeeb9b3ca8dfe513f5f36f2ac6a2f5addtree
parent74c5067d81b8384701cff7f6e7b697d7fe67cf58commit | diff
Make `-o raw-benchmark` work with `--parse-only` (#7195)

Before, cvc5 was returning with --parse-only before the code could
reach the code responsible for dumping the raw benchmark. This moves the
check for --parse-only to the appropriate place and updates the
run_regression.py script to use --parse-only.
src/main/command_executor.cpp diff | blob | history
test/regress/run_regression.py diff | blob | history