projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b725191) | patch
Remove AigBitblaster implementation if ABC is not compiled (#212)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 9 Aug 2017 22:47:27 +0000 (15:47 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Aug 2017 22:47:27 +0000 (15:47 -0700)
commit9ca56527c709d151a35d506a34d62c03e44764fd
treed357f8147a1ee14d30dc6a6e033312f162e09867tree
parentb725191b5edc9d2fcdabab0abb42f60cb124e59bcommit | diff
Remove AigBitblaster implementation if ABC is not compiled (#212)

* Guard use of AigBitblaster with CVC4_USE_ABC.

This removes the Unreachable() implementation of AigBitblaster in case CVC4 is
not compiled with ABC support.
src/theory/bv/aig_bitblaster.cpp diff | blob | history
src/theory/bv/bv_eager_solver.cpp diff | blob | history