projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 089a602) | patch
Bv2int fail on demand
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 19 Mar 2020 17:12:10 +0000 (10:12 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Mar 2020 17:12:10 +0000 (10:12 -0700)
commit027ed263703823adf3c9f7e9fa11df0832f538b0
tree2e5cd021e8e689e8a34b0cbe61607648c2eba492tree
parent089a60266f2658e471d204fdd737e3e0d37e105ccommit | diff
Bv2int fail on demand

Postpone failure in bv-to-int preprocessing pass.
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/preprocessing/passes/bv_to_int.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress2/bv_to_int_mask_array_1.smt2 [new file with mode: 0644] blob
test/regress/regress2/bv_to_int_mask_array_2.smt2 [new file with mode: 0644] blob