projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b31f039) | patch
Adding test for whether a kind is n-ary (#4718)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Sat, 11 Jul 2020 04:55:31 +0000 (01:55 -0300)
committerGitHub <noreply@github.com>
Sat, 11 Jul 2020 04:55:31 +0000 (23:55 -0500)
commit9aab4da2460b62273ac937ad96b7b6695b904e0d
tree8fc1a5ef0f0bebc22768401c7c061182497fcf45tree
parentb31f0397bc02b8d903dc7c1e82a1f1ae53729fa1commit | diff
Adding test for whether a kind is n-ary (#4718)
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history