aboutsummaryrefslogtreecommitdiff
path: root/test/dup_cases.ml
AgeCommit message (Expand)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
2024-06-20Removed the need for () after rndChimrod
2024-03-28Raise the message level from Warning to Error for duplicated predicates checkChimrod
2024-03-27New test for duplicates evalutations in the codeChimrod