diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-08 16:42:30 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-08 21:42:30 +0000 |
commit | b9dcd4d141cef256b4371aa103af4ee1aa7c61bd (patch) | |
tree | 907827ca44f9eadd046e382c48392068f7a33618 /src/CMakeLists.txt | |
parent | 4b0650bfe0c1df81ad3236def912543510932320 (diff) |
Add Lfsc print channel utilities (#7123)
These are utilities used for two-pass printing of LFSC proofs.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 5c898b654..4484f9447 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -182,6 +182,8 @@ libcvc5_add_sources( proof/lfsc/lfsc_list_sc_node_converter.h proof/lfsc/lfsc_node_converter.cpp proof/lfsc/lfsc_node_converter.h + proof/lfsc/lfsc_print_channel.cpp + proof/lfsc/lfsc_print_channel.h proof/lfsc/lfsc_util.cpp proof/lfsc/lfsc_util.h proof/method_id.cpp |