| 70 | return 0u; |
| 71 | } |
| 72 | unsigned int AsBool(const bv_variable& var) |
| 73 | { |
| 74 | if (bv_type_is_integer(var.type)) |
| 75 | return (bool)bv_variable_get_uchar(var); |
| 76 | return false; |
| 77 | } |
| 78 | |
| 79 | bv_type GetVectorTypeFromName(const char* name) |
| 80 | { |
nothing calls this directly
no outgoing calls
no test coverage detected