Remove kani::Arbitrary from the modifies contract instrumentation#3169

Merged

adpaco-aws merged 5 commits intomodel-checking:mainfrom feliperodri:remove-arbitrary-modifies

May 3, 2024

+73-10

Commits on May 1, 2024

Remove kani::Arbitrary from the modifies contract instrumentation
feliperodri
committed

Commits on May 2, 2024

Add regression test and improve documentation
feliperodri
committed

Commits on May 3, 2024