projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4c37cd) | patch
Add output -o post-asserts (#7987)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 25 Jan 2022 19:50:50 +0000 (13:50 -0600)
committerGitHub <noreply@github.com>
Tue, 25 Jan 2022 19:50:50 +0000 (19:50 +0000)
commita8e57b9025bcfffb1e3ecc9d7d6e7b36b62a15aa
treebae7486491a34cf7a5417ba0a0a090a2582700fbtree
parentf4c37cd9ff8089bf7dacdbc661d2200c057d0bf9commit | diff
Add output -o post-asserts (#7987)

This is equivalent to -t assertions::post-everything.
src/options/base_options.toml diff | blob | history
src/smt/process_assertions.cpp diff | blob | history
src/smt/process_assertions.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/printer/post-asserts-output.smt2 [new file with mode: 0644] blob