KLEE: treat linking errors as tool errors not SUT errors
KLEE: treat linking errors as tool errors not SUT errors

Tool errors are reported as UNKNOWN
while SUT errors are true errors reported as ERROR

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools