We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 01a348c commit b5b989dCopy full SHA for b5b989d
src/solvers/flattening/boolbv_if.cpp
@@ -18,11 +18,11 @@ bvt boolbvt::convert_if(const if_exprt &expr)
18
19
literalt cond=convert(expr.cond());
20
21
- const bvt &op1_bv=convert_bv(expr.true_case());
22
- const bvt &op2_bv=convert_bv(expr.false_case());
+ const bvt &true_case_bv = convert_bv(expr.true_case());
+ const bvt &false_case_bv = convert_bv(expr.false_case());
23
24
- if(op1_bv.size()!=width || op2_bv.size()!=width)
+ if(true_case_bv.size() != width || false_case_bv.size() != width)
25
throw "operand size mismatch for if "+expr.pretty();
26
27
- return bv_utils.select(cond, op1_bv, op2_bv);
+ return bv_utils.select(cond, true_case_bv, false_case_bv);
28
}
0 commit comments