Implemented :time-limit-per-query#863

Tomaqa wants to merge 1 commit into

timeoutusi-verification-and-security/opensmt:timeoutfrom

time-limit-per-queryusi-verification-and-security/opensmt:time-limit-per-queryCopy head branch name to clipboard