Skip to content

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

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.

Merge request reports