diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-11-21 11:22:22 +0000 |
---|---|---|
committer | Dominic Symes <dominic.symes@arm.com> | 2023-11-23 12:59:03 +0000 |
commit | 6ce35028420a208df979ba88807ee8bffe746b63 (patch) | |
tree | cb1831fe517ce57c5cc2440ae74d230c7bd06074 | |
parent | 0601f80afd9c160a1454d5cd0f22a04f2f91eb75 (diff) | |
download | reference_model-6ce35028420a208df979ba88807ee8bffe746b63.tar.gz |
Verify library fix to only accept FP64 ref data
Make test_verif_result_check output to only say result files
are non-compliant as it may not be implmenetation result issues.
Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I14d10a7ee3aeff7802b6b173280d9f2054760a08
-rw-r--r-- | reference_model/src/verify/verify_entry.cc | 9 | ||||
-rw-r--r-- | verif/checker/tosa_result_checker.py | 2 |
2 files changed, 4 insertions, 7 deletions
diff --git a/reference_model/src/verify/verify_entry.cc b/reference_model/src/verify/verify_entry.cc index a37dff7..d0b31c6 100644 --- a/reference_model/src/verify/verify_entry.cc +++ b/reference_model/src/verify/verify_entry.cc @@ -101,17 +101,14 @@ extern "C" { if (cfg->dataType != TosaReference::mapToDType(imp->data_type)) { - WARNING("[Verifier] Incorrect tensor data type."); + WARNING("[Verifier] Incorrect implementation tensor data type."); return false; } } else { - if (ref->data_type != imp->data_type) - { - WARNING("[Verifier] Tensors have different data types."); - return false; - } + WARNING("[Verifier] Reference tensor data type is not FP64, please use ref-model --precise_mode."); + return false; } // Run verification diff --git a/verif/checker/tosa_result_checker.py b/verif/checker/tosa_result_checker.py index 4ba5d4c..8c7e432 100644 --- a/verif/checker/tosa_result_checker.py +++ b/verif/checker/tosa_result_checker.py @@ -78,7 +78,7 @@ def compliance_check( return (TestResult.PASS, 0.0, "") else: _print_result(LogColors.RED, f"Results NON-COMPLIANT {test_name}") - return (TestResult.MISMATCH, 0.0, "Non-compliance implementation results found") + return (TestResult.MISMATCH, 0.0, "Non-compliance results found") def test_check( |