Detect and warn about mutual recursion with #[kani::recursion]#4580
Open
feliperodri wants to merge 1 commit intomodel-checking:mainfrom
Open
Detect and warn about mutual recursion with #[kani::recursion]#4580feliperodri wants to merge 1 commit intomodel-checking:mainfrom
#[kani::recursion]#4580feliperodri wants to merge 1 commit intomodel-checking:mainfrom
