aboutsummaryrefslogtreecommitdiff
path: root/test/test_oracle.ml
Commit message (Expand)AuthorAgeFilesLines
* test(oracle): correct M11's citation and verdict (fix round 1, F3)Lukasz Kasprzak2026-08-121-15/+19
* test: oracle vs missalemeum 2026-2027; audit the sanctoralLukasz Kasprzak2026-08-121-0/+607