Skip to content

Adjust test patterns so as not to check for trivial properties#3464

Merged
tautschnig merged 1 commit intomodel-checking:mainfrom tautschnig:adjust-for-cbmc-changesAug 27, 2024
+2-2

Commits

Commits on Aug 27, 2024