Hunting down a UB exploit under LTO lead to the following: - #1015

Hunting down a UB exploit under LTO lead to the following:#1015

MichaelRawson merged 2 commits into

mastervprover/vampire:masterfrom

lto-mysteryvprover/vampire:lto-mysteryCopy head branch name to clipboard