Skip to content

#424 CIF simulator uses new precondition checking framework

Dennis Hendriks requested to merge 424-cif-simulator-use-checker-framework into develop
  • 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)

Merge request reports

Loading