aboutsummaryrefslogtreecommitdiff
path: root/test/dead_end.ml
AgeCommit message (Expand)Author
2024-12-02Moved the checks in a dedicated libraryChimrod
2023-11-02Updated the testsChimrod
2023-10-18Used the dead-end checker in main analysisChimrod