diff options
author | Jared Smolens <jared.smolens@arm.com> | 2021-09-21 11:36:18 -0700 |
---|---|---|
committer | Jared Smolens <jared.smolens@arm.com> | 2021-09-22 08:07:26 -0700 |
commit | 7e7fccd32c6e17ee5aef19746eff85d791a25f59 (patch) | |
tree | dcf8c0eead1f0401707ae5a8f991f9661133ab90 /verif | |
parent | 1918e8aabf76cd74e7b5bc9839cd14b3db376ca6 (diff) | |
download | reference_model-7e7fccd32c6e17ee5aef19746eff85d791a25f59.tar.gz |
Unit test runner ergonomics
- Catch and classify as INTERNAL_ERROR unix signals thrown by
reference model
- Made -t a required argument
Change-Id: I2be1ed6f5c1e862d6a3aee43c6b1e8575ab50d1f
Signed-off-by: Jared Smolens <jared.smolens@arm.com>
Diffstat (limited to 'verif')
-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", |