Add harnesses for all functions in Alignment#42

Merged

tautschnig merged 15 commits intomodel-checking:mainfrom tautschnig:align-harness

Aug 20, 2024

+82-3

Commits on Jul 23, 2024

Commits on Jul 24, 2024

Add harnesses for all Alignment public functions
tautschnig
committed

Commits on Aug 5, 2024

Add more clauses per feedback
tautschnig
committed

Commits on Aug 8, 2024

Commits on Aug 16, 2024