Previous Up Next

Violations of coherence

We first identify a set of uncontroversial invalid behaviours. Those violate the sc per location check.

There is no such test

Previous Up Next