projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51382b9) | patch
Move `fmf.card` printing code. (#7559)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 2 Nov 2021 21:45:44 +0000 (16:45 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Nov 2021 21:45:44 +0000 (16:45 -0500)
commit0c16abf2d7fe9a18494d3c9867567c43a1655200
tree872289a5e10301a5602979860fd473f0ea2eb5c7tree
parent51382b96a76c6ddef0c1a6aae2139203f20bced1commit | diff
Move `fmf.card` printing code. (#7559)

The code for printing fmf.card does not run in its current location. This PR moves the code to a different switch statement to ensure that it runs.
src/printer/smt2/smt2_printer.cpp diff | blob | history