frontend icon indicating copy to clipboard operation
frontend copied to clipboard

Time limit does not work if running prepends.

Open blackening opened this issue 5 years ago • 0 comments

https://github.com/source-academy/js-slang/blob/64c636f8ce283970ad7aa0c5b4cf6606053073c3/src/index.ts#L459

Based on this, the time-limit will only adjust upwards if the two programs are the same.

If there's a prepend, the time limit will not be raised.

Suggest moving time limit control to cadet-frontend, instead of relying on stateful re-running on js-slang.

Note that this essentially prevents the raising of time limit for paths with prepend.

blackening avatar Sep 01 '20 02:09 blackening