Fixing test

marcoeilers · Mar 11, 2024 · fd9278d · fd9278d
1 parent 3a66a44
commit fd9278d
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/tests/functional/verification/test_tuples.py b/tests/functional/verification/test_tuples.py
@@ -58,15 +58,14 @@ def tuple_union_1(t: Union[Tuple[int, ...], int]) -> int:
     return c
 
 
-def tuple_union_1_fail(t: Union[Tuple[int, ...], int]) -> int:
+def tuple_union_1_fail(t: Union[Tuple[int, ...], int]) -> None:
     assert isinstance(t, int) or isinstance(t, tuple)
     if isinstance(t, tuple):
         a: Tuple[int, ...] = cast(tuple, t)
         #:: ExpectedOutput(application.precondition:assertion.false)
         c = a[0]
     else:
         c = cast(int, t)
-    return c
 
 
 def tuple_union_2(t: Union[Tuple[int, int], int]) -> int:
@@ -79,16 +78,14 @@ def tuple_union_2(t: Union[Tuple[int, int], int]) -> int:
     return c
 
 
-def tuple_union_2_fail(t: Union[Tuple[int, int], int]) -> int:
+def tuple_union_2_fail(t: Union[Tuple[int, int], int]) -> None:
     assert isinstance(t, int) or isinstance(t, tuple)
     if isinstance(t, tuple):
         a: Tuple[int, ...] = cast(tuple, t)
         #:: ExpectedOutput(application.precondition:assertion.false)
         c = a[3]
     else:
         c = cast(int, t)
-    return c
-
 
 def take_var_tuple(t: Tuple[int, ...]) -> None:
     #:: ExpectedOutput(assert.failed:assertion.false)