expect() does not take format strings#2865

Merged

zhassan-aws merged 2 commits intomodel-checking:mainfrom matthiaskrgr:func

Nov 8, 2023

+2-2

Commits on Nov 7, 2023

expect() does not take format strings
matthiaskrgr
committed

Commits on Nov 8, 2023

Merge branch 'main' into func
zhassan-aws
authored