projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc85357) | patch
Remove assertion in resolution bound inferences (#3980)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 10 Mar 2020 18:54:11 +0000 (13:54 -0500)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 18:54:11 +0000 (11:54 -0700)
commit84d4546e5a66cf37775b769e7456f0f4a86c4cf0
tree8fac84b4a6dc8a81975e7d6ad551e781b1f5b80etree
parentbc85357bf3a0973093867b50d1247e6e1bb3273acommit | diff
Remove assertion in resolution bound inferences (#3980)

* Fix assertion in resolution bound inferences

* Format

* Minor

Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
src/theory/arith/nonlinear_extension.cpp diff | blob | history