Attribute Macro kani::stub

#[stub]

Specify a function/method stub pair to use for proof harness

The attribute #[kani::stub(original, replacement)] can only be used alongside #[kani::proof].

Arguments

• original - The function or method to replace, specified as a path.
• replacement - The function or method to use as a replacement, specified as a path.