You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If I understand correctly, when the interpreter is launched in monotest mode (see Test_interpreter.check_test call in driver.ml), only exceptions which are Errors.StructuredError are catched at the Driver level.
The text was updated successfully, but these errors were encountered:
If I understand correctly, when the interpreter is launched in monotest mode (see
Test_interpreter.check_test
call in driver.ml), only exceptions which areErrors.StructuredError
are catched at the Driver level.The text was updated successfully, but these errors were encountered: