Attribute Macro stub
#[stub]
Expand description
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.