Validation of `tm.defines` and `tm.useDef`#47

Merged

PaulKlint merged 12 commits into

mainfrom

add-usedef-tests

Jun 3, 2026

Commits on Jun 1, 2026

Add `name` argument to `getModel` function argument of `runTests` (to be able to change the config of the collector/solver depending on the particular example, if needed)
sungshik
committed
Update `aliasesTests` to disable use-def validation for example `CircularAlias1`
sungshik
committed
Fix whitespace
sungshik
committed
Fix issue that location containment in validity checks should be physical instead of logical
sungshik
committed
Update default of `assertValidDefines` to `false`
sungshik
committed
Revert removal of `checkAllTypesAvailable`, as it happens to be part of Typepal's public API (and at least one consumer in the integration test exists)
sungshik
committed