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