LLVM LIT TV: mark tests as failed if Alive cannot prove correctness
MODIFY
scripts/opt-alive.sh
scripts/opt-alive.sh
#!/bin/bash
-timeout 1000 $HOME/llvm/build/bin/opt -load=$HOME/alive2/build/tv/tv.so -tv $@ -tv -tv-smt-to=10000
+timeout 1000 $HOME/llvm/build/bin/opt -load=$HOME/alive2/build/tv/tv.so -tv-exit-on-error -tv $@ -tv -tv-smt-to=10000

LLVM LIT TV: mark tests as failed if Alive cannot prove correctness