Add support for edition 2018 crates using assert! (Fixes #3717)#4096

Merged

zhassan-aws merged 5 commits intomodel-checking:mainfrom

sintemal:fix-1375

May 28, 2025

Commits on May 21, 2025

Before edition 2021, the `assert!` macro could take a single argument
sintemal
committed

Commits on May 22, 2025

If the string is already a literal, do not add a format specifier but stringify
sintemal
committed

Commits on May 27, 2025