aboutsummaryrefslogtreecommitdiff
path: root/test/make_checkTest.ml
AgeCommit message (Expand)Author
2024-02-08Ignore the global checkers if there is a syntax error; ignore error during re...Chimrod
2024-02-08Added a general context for each testChimrod
2024-01-19Wait to get a valid syntax before considering a new locationChimrod
2023-11-02Updated the testsChimrod