aboutsummaryrefslogtreecommitdiff
path: root/test/dup_cases.ml
AgeCommit message (Expand)Author
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