aboutsummaryrefslogtreecommitdiff
path: root/test/test_precedence.ml
Commit message (Expand)AuthorAgeFilesLines
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-1/+1
* test(precedence): strengthen accounting test, cover order and empty sanctoralLukasz Kasprzak2026-08-111-7/+39
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-111-0/+76