Aaron Bembenek

This is a tracking issue for the RFC `function_stubbing`. The goal is to allow users to specify that some functions should be replaced by mock functions (stubs) during verification. Although...

Resolve trait methods for stubs and function contracts

12

Right now, we do not support stubbing methods declared in traits. Consider this example: ```rust trait A { fn foo(&self) -> u32; fn bar(&self) -> u32; } trait B {...