distributed_verification::kani_list

Function get_kani_list

Source 
pub fn get_kani_list(rs_file_path: &str) -> Result<KaniList>
Expand description

Run kani list on single rust file.