(func: &Function)
| 399 | } |
| 400 | |
| 401 | pub fn check_function(func: &Function) { |
| 402 | if let Ok(llil) = func.lifted_il() { |
| 403 | for block in &llil.basic_blocks() { |
| 404 | for inst in &*block { |
| 405 | check_instruction(&inst); |
| 406 | } |
| 407 | } |
| 408 | } |
| 409 | } |
| 410 | |
| 411 | use rayon::prelude::*; |
| 412 | use std::thread; |
no test coverage detected