timestamp_stop gets modified when query is ignored
sdressler opened this issue · 0 comments
sdressler commented
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.