Skip to content
GitLab

Dump `siProp_scope` and use `bi_scope`. This is consistent with `uPred`.

Merged Robbert Krebbers requested to merge robbert/siProp_scope into master

The first test failed prior to this MR, the second test worked already but I added it for completeness sake.