projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f41e705) | patch
Properly sanatize user names in LFSC (#8080)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 23 Feb 2022 16:46:50 +0000 (10:46 -0600)
committerGitHub <noreply@github.com>
Wed, 23 Feb 2022 16:46:50 +0000 (16:46 +0000)
commit5cb2ece9eb26bdeb48e4c060b1f1be08ce2be9c2
tree233b84b3538b04c45898c2054b67601a0ffcf0e9tree
parentf41e705bcc7313664dc49ee8c0640457077bdc02commit | diff
Properly sanatize user names in LFSC (#8080)

Previously, we would get LFSC proof checking failures if we were using an identifier that was valid in SMT-LIB but not LFSC.

Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
src/proof/lfsc/lfsc_node_converter.h diff | blob | history
test/unit/CMakeLists.txt diff | blob | history
test/unit/proof/CMakeLists.txt [new file with mode: 0644] blob
test/unit/proof/lfsc_node_converter_black.cpp [new file with mode: 0644] blob