Add timeout to test case
MODIFY
tests/alive-tv/bugs/pr43948.srctgt.ll
tests/alive-tv/bugs/pr43948.srctgt.ll
+; TEST-ARGS: -smt-to=8000
; https://bugs.llvm.org/show_bug.cgi?id=43948
@arr = local_unnamed_addr global [32 x i32] zeroinitializer, align 16
@var = global i32 zeroinitializer, align 8

Add timeout to test case (#351)