Skip to content

Introduce a check for writes to predicate variables (and prevent those) (Fixes #57 on Github)

Andreas Klöckner requested to merge check-for-writes-to-predicates into master

Merge request reports