Enable `-Z stubbing` and error out instead of ignore stub#2678

Merged

celinval merged 9 commits intomodel-checking:mainfrom celinval:issue-xxxx-z-stub

Aug 30, 2023

+115-91

Commits on Aug 12, 2023

Commits on Aug 14, 2023

Use unstable table to enable stubbing
celinval
committed

Commits on Aug 17, 2023

Commits on Aug 21, 2023

Apply suggestions from code review

celinval
and
adpaco-aws
authored

Commits on Aug 29, 2023

Merge branch 'main' into issue-xxxx-z-stub
adpaco-aws
authored

Commits on Aug 30, 2023