Add a regression test for `no_std` feature#3837

Merged

carolynzech merged 1 commit intomodel-checking:mainfrom carolynzech:no-std-test

Jan 16, 2025

+35

Commits on Jan 16, 2025

regression test for no_std
carolynzech
committed