projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68d6329) | patch
Fix parsing array constants (#7617)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 10 Nov 2021 01:13:22 +0000 (19:13 -0600)
committerGitHub <noreply@github.com>
Wed, 10 Nov 2021 01:13:22 +0000 (01:13 +0000)
commit9348602f05094b032efb33dfd341721b270380a1
treeeff83d5e5a691c5c3d0823515c0ee9003ea44a88tree
parent68d6329d38af159afa7dc9542ef8e04e4d5a3773commit | diff
Fix parsing array constants (#7617)

This generalizes a fix for parsing array constants.

Fixes #7596.
src/parser/smt2/smt2.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/arrays/issue7596-define-array-uminus.smt2 [new file with mode: 0644] blob