aboutsummaryrefslogtreecommitdiff
path: root/test/make_checkTest.ml
AgeCommit message (Collapse)Author
2024-02-08Ignore the global checkers if there is a syntax error; ignore error during ↵Chimrod
recovery after a syntax error
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