message: LLVM LIT TV: mark tests as failed if Alive cannot prove correctness
diff: #!/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
  