List of all items

Structs

• Callee
• MacroBacktrace
• SerFunction
• SourceCode
• db::DbFunction
• diff::ContractedFunction
• diff::KaniListHarnesses
• diff::KaniListJson
• diff::MergedHarnesses
• diff::Totals
• kani_list::ContractedFunction
• kani_list::KaniList
• kani_list::Total
• statistics::CountAttrs
• statistics::ExternalCrates
• statistics::FnDefs
• statistics::KaniTools
• statistics::KaniToolsFnDefs
• statistics::LocalCrateFnDefs
• statistics::Stat

Enums

• InstKind
• ProofKind

Functions

• diff::count_gt1
• diff::vec_to_set
• error_handling::merge_results
• kani_list::check
• kani_list::check_proofs
• kani_list::get_kani_list
• kani_list::read_kani_list
• kani_path
• logger::init
• zero

Type Aliases

• BoxStr