Module kani_list

Structs

ContractedFunction

KaniList

Output of kani list command.

Total

Functions

check

Get kani list and check if it complies with Vec.

check_proofs

Check if all proofs matches in kani-list.json and SerFunctions.

get_kani_list

Run kani list on single rust file.

read_kani_list

Read a kani-list.json