distributed_verification::kani_list

Function read_kani_list

Source 
pub fn read_kani_list(kani_list_path: &str) -> Result<KaniList>
Expand description

Read a kani-list.json