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
When queries are ignored, the timestamp_stop is modified such, that it takes the value of the timeout. This can provide false results when processing outputs and also does falsify overall runtime reporting.
The text was updated successfully, but these errors were encountered:
sdressler
changed the title
timestamp_stop gets modified when timeout occurs
timestamp_stop gets modified when query is ignored
May 29, 2020
When queries are ignored, the
timestamp_stop
is modified such, that it takes the value of the timeout. This can provide false results when processing outputs and also does falsify overall runtime reporting.The text was updated successfully, but these errors were encountered: