projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0357386) | patch
Logic exception instead of assertion failure for instantiate (#4006)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 10 Mar 2020 21:19:31 +0000 (16:19 -0500)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 21:19:31 +0000 (14:19 -0700)
commitbcaebfa163bb27e1cf14c0f763afb47b185a5f99
tree062cd35bf77f36dbeff96725fedf08e0b0803aa4tree
parent03573865aaeaf434836d509724f5a8e8fc615fddcommit | diff
Logic exception instead of assertion failure for instantiate (#4006)

Fixes #4003.

Protects against a (class of) nonsensical option combinations.
src/theory/quantifiers/instantiate.cpp diff | blob | history