Improve the way time_limit
and memory_limit
is being set#2863
Merged
bobdenotter merged 2 commits intomasterfrom set_memory_limit_betterOct 15, 2021
+18-7
time_limit
and memory_limit
is being set#2863