commit 05c711e8941b05f6c9502fe8ef482a077aca508b
author Jeremy Johnson <jeremy.johnson@arm.com> Mon Dec 12 18:00:41 2022 +0000
committer Eric Kunze <eric.kunze@arm.com> Thu Dec 15 16:43:24 2022 +0000
tree a8fe7dfbc652a5c5005567dee752f51c1e5949b5
parent 3d3d45d669a460c6bc8e51b9dd9a8149c51e3d7f

Add extra control flow ERROR_IF tests

Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I7276dc686d8d18ba44663b73e35ceca2a1cbaadf

verif/generator/tosa_utils.py

diff --git a/verif/generator/tosa_utils.py b/verif/generator/tosa_utils.py
index d79ab3c..29ae898 100644
--- a/verif/generator/tosa_utils.py
+++ b/verif/generator/tosa_utils.py
@@ -142,6 +142,9 @@
                 DType.INT32,
                 DType.INT48,
             )
+    else:
+        # Assume all types but the input type are incorrect
+        incorrect_types = list(usableDTypes(excludes=(input_dtype,)))
     return rng.choice(a=incorrect_types)