Skip to content

Test that lock `Σ`s can be found in adequacy

Ralf Jung requested to merge ralf/locktest into master

This is the uncontroversial part of !980, slightly tweaked.

Merge request reports