diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-10-19 12:31:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-19 12:31:42 -0700 |
| commit | fc0a5dcc002b12f075681d53e87cca1ddfbd479d (patch) | |
| tree | eccb265bdaef9f5d1a20f71651bcf1f7cb766453 /configure.ac | |
| parent | 9af7e38d6f0b3d01dea795a4847153047ac87f6e (diff) | |
CBQI BV: Refactor solve_bv_constraint. (#1265)
This refactors function solve_bv_constraint to use a switch-case over kinds rather than an if-else chain.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions