projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9617530) | patch
Add missing null terminators for regexp (#8027)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Feb 2022 19:32:48 +0000 (13:32 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Feb 2022 19:32:48 +0000 (19:32 +0000)
commit2d090a0db0945dbca4128ad5a8a739e366fd70a3
tree459df3c7e639efce8db1af6339c1756f0dc42526tree
parent9617530df28b3d0ae75da349e956ca427cf02c75commit | diff
Add missing null terminators for regexp (#8027)

Led to some LFSC proof checking failures on strings benchmarks.
src/expr/nary_term_util.cpp diff | blob | history
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/instance2984-null-term.smt2 [new file with mode: 0644] blob