projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c56b38e) | patch
Fix ambiguous overload in unit test (#4582)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 8 Jun 2020 23:38:47 +0000 (16:38 -0700)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 23:38:47 +0000 (18:38 -0500)
commitf515641c3b078185743aed831e2fe6c2759341fb
treed6737671afc5c6adcda58a11510f3c64d3733b4etree
parentc56b38ed806e524614da8500ac435364249f4215commit | diff
Fix ambiguous overload in unit test (#4582)

Fixes nightlies. The compiler version used for our nightlies (GCC 5.4.0)
complains about mkFunctionSort({bSort}, bSort) being ambiguous because
we have two variants of mkFunctionSort(): one that takes a single
Sort and one that takes a vector of Sorts. This commit makes the
function call unambiguous by removing the use of list initializations.
test/unit/api/solver_black.h diff | blob | history