projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac59c64) | patch
Making `IntBlaster` inherit from `EnvObj` (#7431)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 22 Oct 2021 14:56:39 +0000 (17:56 +0300)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 14:56:39 +0000 (14:56 +0000)
commita06b10cf51c22dd86bf266ef1494dded4b53e9f0
tree18aa863152d746dbaf498b594788497c48530f42tree
parentac59c64e3181f72ad79fa4a759bac56e685a5067commit | diff
Making `IntBlaster` inherit from `EnvObj` (#7431)

This PR makes the IntBlaster class inherit from EnvObj, along with derived modifications.
src/theory/bv/int_blaster.cpp diff | blob | history
src/theory/bv/int_blaster.h diff | blob | history
test/unit/theory/theory_bv_int_blaster_white.cpp diff | blob | history