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
What do you think about adding extra options to be able to set memory and time limits for a given program?
It is not hard to add echo(memory_limit, "/memory.limit_in_bytes") and timer_settime(), but I would like to know whether it is ok to do it in cgmemtime project.
Any input is valuable. Thank you for this great project!
The text was updated successfully, but these errors were encountered:
What do you think about adding extra options to be able to set memory and time limits for a given program?
It is not hard to add
echo(memory_limit, "/memory.limit_in_bytes")
andtimer_settime()
, but I would like to know whether it is ok to do it in cgmemtime project.Any input is valuable. Thank you for this great project!
The text was updated successfully, but these errors were encountered: