Do not read env.options from the timer thread - #1027

Do not read env.options from the timer thread#1027

MichaelRawson merged 1 commit into

vprover:mastervprover/vampire:masterfrom

shalashaska117:fix-issue-979shalashaska117/vampire:fix-issue-979Copy head branch name to clipboard