Parsing is not governed by timeout.
Issue #489
new
No description provided.
Comments (1)
-
reporter - Log in to comment
Which causes for example test tests/mx/satmx/large_known_func.idp to go over its timeout while autocompleting and this is not detected.