Mentions légales du service

Skip to content

Issue 200

PARREIRA PEREIRA Mário José requested to merge issue_200 into master

This closes issue #200 (closed)

We now use [pvs_affected] to compute the set of variables affected by a writes effect.

Merge request reports