aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/dup_test.ml
AgeCommit message (Collapse)Author
2025-01-03Added dynamic check mecanismHEADmasterChimrod
2024-12-28Changed the error message for duplicated cases from Error to WarningChimrod
2024-12-02Moved the checks in a dedicated libraryChimrod