diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-03-29 06:38:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-29 13:38:19 +0000 |
| commit | ba91b0ea10021ad299f30d23de4864940bb78100 (patch) | |
| tree | c7ac2601072c94de6ffc9e6f69c2b9ca92e248d5 /src/theory/theory_inference_manager.h | |
| parent | 38f797f5aa577a643e00ebc42e933a2552de575f (diff) | |
Modular bv2int part 1 (#6212)
This PR introduces the header file for a more modular bv-to-int module, that will be called from the preprocessing pass bv-to-int, and possibly from the bit-vector solver after preprocessing.
The header file is basically a copy of the bv_to_int.h header file from preprocessing, with some adjustments to increase modularity.
In addition to the header file we also introduce an empty unit test that #includes the header, in order to identify compilation errors. The unit test will be populated in subsequent PRs, that will also include implementations.
Diffstat (limited to 'src/theory/theory_inference_manager.h')
0 files changed, 0 insertions, 0 deletions