Crate distributed_verification

Modules

db

diff

error_handling

kani_list

logger

statistics

Structs

Callee

MacroBacktrace

SerFunction

SourceCode

Enums

InstKind

InstanceKind, but remove Virtual idx and make Item as None to save space.

ProofKind

Kani proof kind.

Functions

kani_path

A local path to kani’s artifacts.

zero 🔒

Type Aliases

BoxStr