Skip to content
GitLab

fix scopes for big-ops

Merged Ralf Jung requested to merge ralf/big-op-scopes into master

In iris/bi/interface.v we have an explicit %I in all notations; let's do the same for big-ops.

Also add a test that used to fail before.