Towards stubbing stabilization#4566

Open

feliperodri wants to merge 9 commits intomodel-checking:mainfrom

feliperodri:fix-stubbing-issues

Commits on Mar 28, 2026

Update expected test output for improved stub error messages
feliperodri
committed
fix(test): Rename main.expected to expected for split cargo-kani tests
feliperodri
committed

Commits on Mar 29, 2026

fix(test): Update cargo-ui expected output for improved stub error message
feliperodri
committed
fix(test): Restore foreign_functions.rs as a regular test
feliperodri
committed