Update xdsl_smt/utils/transfer_function_check_util.py

Co-authored-by: Fehr Mathieu <[email protected]>
opencompl · Dec 25, 2024 · 5c564e3 · 5c564e3
1 parent c784c7c
commit 5c564e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/xdsl_smt/utils/transfer_function_check_util.py b/xdsl_smt/utils/transfer_function_check_util.py
@@ -98,7 +98,7 @@ def valid_abstract_domain_check(
 
 """
 Given the transfer function and a set of integer attributes associated with the function,
-returns if the attr set makes the operation valid.
+returns a boolean SSA Value that checks if the operation is valid.
 For example:
 trunc %a from i32 to i64 (invalid)
 trunc %a from i5 to i3 (valid)