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
Currently we don't check the time elapsed when the WAIT command is supposed to return early.
But, as highlighted by @andy1li, this might lead to cases where user never implements WAIT properly, just sleeps for time_duration, and returns.
This can be mitigated by adding checks on elapsed_time in cases where WAIT returns early.
The text was updated successfully, but these errors were encountered:
Currently we don't check the time elapsed when the
WAIT
command is supposed to return early.But, as highlighted by @andy1li, this might lead to cases where user never implements
WAIT
properly, just sleeps fortime_duration
, and returns.This can be mitigated by adding checks on
elapsed_time
in cases whereWAIT
returns early.The text was updated successfully, but these errors were encountered: