Enable doctests to avoid coding mistakes in our API documentation#3557

Merged

celinval merged 3 commits intomodel-checking:mainfrom celinval:chores-doc-tests

Oct 2, 2024

+152-44

Commits on Oct 1, 2024

Commits on Oct 2, 2024

Address PR comments
celinval
committed