| 64 | return 0; |
| 65 | } |
| 66 | unsigned int AsUnsignedInteger(const bv_variable& var) |
| 67 | { |
| 68 | if (bv_type_is_integer(var.type)) |
| 69 | return bv_variable_get_uint(var); |
| 70 | return 0u; |
| 71 | } |
| 72 | unsigned int AsBool(const bv_variable& var) |
| 73 | { |
| 74 | if (bv_type_is_integer(var.type)) |
nothing calls this directly
no outgoing calls
no test coverage detected