Detect which reference examples should check/codegen/verify.#363

Merged

bdalrhm merged 4 commits into

model-checking:main-153-2021-07-26from

bdalrhm:expect-fail

Jul 28, 2021

Commits on Jul 27, 2021

Copy options from the rust code blocks in the markdown files.
bdalrhm
committed

Commits on Jul 28, 2021