#424 CIF simulator uses new precondition checking framework
- Best to review per commit.
- End-user visible change: CIF simulator uses new precondition checking framework.
- Other changes:
-
Anno1Provider
test annotation provider: small code improvement: join concatenated strings on a single source line. - New
InvNoTimeDependentCheck
check.
-
Addresses #424 (closed)