In passive Constraint checking, Vensim simply evaluates both halves of the Constraint equations as logical expressions. If a consequence is false while its condition is true, an error is reported.
Whenever you run a Reality Check, Vensim tests all Constraints that are not explicitly activated for passive conformance. This checking does not get done during normal simulation.
