diff options
-rw-r--r-- | verif/tosa_ref_run.py | 3 | ||||
-rwxr-xr-x | verif/tosa_verif_run_ref.py | 8 |
2 files changed, 10 insertions, 1 deletions
diff --git a/verif/tosa_ref_run.py b/verif/tosa_ref_run.py index c14f490..de35d93 100644 --- a/verif/tosa_ref_run.py +++ b/verif/tosa_ref_run.py @@ -66,6 +66,9 @@ class TosaRefRunner(TosaTestRunner): result = TosaTestRunner.Result.EXPECTED_FAILURE else: result = TosaTestRunner.Result.UNEXPECTED_FAILURE + elif rc < 0: + # Unix signal caught (e.g., SIGABRT, SIGSEGV, SIGFPE, etc) + result = TosaTestRunner.Result.INTERNAL_ERROR else: raise Exception(f"Return code ({rc}) unknown.") diff --git a/verif/tosa_verif_run_ref.py b/verif/tosa_verif_run_ref.py index 3f23f6b..0bfca0f 100755 --- a/verif/tosa_verif_run_ref.py +++ b/verif/tosa_verif_run_ref.py @@ -57,7 +57,13 @@ def parseArgs(): parser = argparse.ArgumentParser() parser.add_argument( - "-t", "--test", dest="test", type=str, nargs="+", help="Test(s) to run" + "-t", + "--test", + dest="test", + type=str, + nargs="+", + help="Test(s) to run", + required=True, ) parser.add_argument( "--seed", |