Checking the code around refining context, it seems there are various issues around that. Let's track this with sub-issues of this META.

Comments

fago created an issue. See original summary.

fago’s picture

fago
Primary language German
Location Vienna
CreditAttribution: fago at drunomics commented
Title: [META] Make refining context work » [META] Make refining context and checking integrity work