Open stefano-maggiolo opened 6 years ago
If I understand this correctly, this would make it possible for us to properly report "Memory Limit Exceeded" errors instead of the usual "Signal 11 (could be caused by exceding memory limit)". If yes I think it would be a great UX improvement.
It was introduced here: https://github.com/ioi/isolate/commit/cd542d637aec5f4d707e8d8e26b3cf465637a487