projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23a7caf) | patch
[API] Add missing arity check (#7905)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 18 Jan 2022 19:55:54 +0000 (11:55 -0800)
committerGitHub <noreply@github.com>
Tue, 18 Jan 2022 19:55:54 +0000 (19:55 +0000)
commita1e130351e76d8af2773a45f099599da16287248
tree28999b127f5b9ebfb46430ff1651b0af6bc840d0tree
parent23a7caf3026b8b6063e120590d925a20aa6b57accommit | diff
[API] Add missing arity check (#7905)

Fixes #7894. The API was not performing an arity check for associative
operators with less than two children. This commit adds the missing
check.
src/api/cpp/cvc5.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/parser/issue7894-parse-error-assoc.smt2 [new file with mode: 0644] blob
test/regress/run_regression.py diff | blob | history