projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d0c1cd) | patch
Use Result::Sat instead of BenchmarkStatus in printers. (#5026)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Fri, 4 Sep 2020 15:42:33 +0000 (10:42 -0500)
committerGitHub <noreply@github.com>
Fri, 4 Sep 2020 15:42:33 +0000 (10:42 -0500)
commit21e1d2b6441f85a9776310779ebc6ad9e13f5b45
treec37eebbcf87aa3e1b04beb5441455d1bd99037aatree
parent0d0c1cdbce4fb46ad5c7d4bc620b712ea014722ecommit | diff
Use Result::Sat instead of BenchmarkStatus in printers. (#5026)

This PR modifies the printers to use Result::Sat, "internal" version of BenchmarkStatus, for printing benchmark status commands.
src/printer/ast/ast_printer.cpp diff | blob | history
src/printer/ast/ast_printer.h diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/cvc/cvc_printer.h diff | blob | history
src/printer/printer.cpp diff | blob | history
src/printer/printer.h diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.h diff | blob | history
src/smt/command.cpp diff | blob | history