Commit Graph

1 Commits (add-missing-variable-loading)

Author SHA1 Message Date
Alisdair McDiarmid 7ded73f266 configs: Validate pre/postcondition self-refs
4 years ago