diff options
Diffstat (limited to 'verif/runner/tosa_verif_run_tests.py')
-rw-r--r-- | verif/runner/tosa_verif_run_tests.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/verif/runner/tosa_verif_run_tests.py b/verif/runner/tosa_verif_run_tests.py index d1755e6..54cb7b2 100644 --- a/verif/runner/tosa_verif_run_tests.py +++ b/verif/runner/tosa_verif_run_tests.py @@ -52,6 +52,15 @@ def parseArgs(argv): help="Path to TOSA reference model executable", ) parser.add_argument( + "--verify-lib-path", + dest="verify_lib_path", + type=Path, + help=( + "Path to TOSA verify library. Defaults to " + "the library in the directory of `ref-model-path`" + ), + ) + parser.add_argument( "--operator-fbs", "--schema-path", dest="schema_path", @@ -365,6 +374,10 @@ def main(argv=None): args.ref_model_path = cmf.find_tosa_file( cmf.TosaFileType.REF_MODEL, Path("reference_model"), False ) + if args.verify_lib_path is None: + args.verify_lib_path = cmf.find_tosa_file( + cmf.TosaFileType.VERIFY_LIBRARY, args.ref_model_path + ) if args.flatc_path is None: args.flatc_path = cmf.find_tosa_file( cmf.TosaFileType.FLATC, args.ref_model_path |