Skip to content

#790 EdgeNoPartialVarAssignCheck: fix for multi-assignments and report violations on addressables

  • Best to review per commit.
  • Projections within multi-assignments are now also reported. Technically, this did not affect the validity of the precondition checks for end users, as they got violations on multi-assignments already (see issue description of #790 (closed)). But now they properly get the partial variable assignments within multi-assignments reported as well. So it does affect the end user output, but does not make more specifications unsupported for current CIF tools.
  • Violations are now reported on the projection parts of the addressable, not the whole assignment. This gives more precise ^ violation marker indications, and points at all violations.

Closes #790 (closed)

Merge request reports