Use function signature instead of name for tagging to ensure uniqueness

Co-authored-by: 0xkarmacoma <[email protected]>

Author: Copilot

src/halmos/__main__.py

@@ -432,7 +432,7 @@ def setup(ctx: FunctionContext) -> Exec:
                     path_id=path_id,
                     query=query,
                     solving_ctx=ctx.solving_ctx,
-                    tag=ctx.info.name,
+                    tag=ctx.info.sig,
                 )
                 solver_output = solve_low_level(path_ctx)
                 if solver_output.result != unsat:
@@ -876,7 +876,7 @@ def handle_assertion_violation(
             path_id=path_id,
             query=query,
             solving_ctx=ctx.solving_ctx,
-            tag=probe_tag if probe_tag else ctx.info.name,
+            tag=probe_tag if probe_tag else ctx.info.sig,
         )
 
         # ShutdownError may be raised here and will be handled by the caller
@@ -1096,7 +1096,7 @@ def run_test(ctx: FunctionContext) -> TestResult:
                 path_id=path_id,
                 query=ex.path.to_smt2(args),
                 solving_ctx=ctx.solving_ctx,
-                tag=ctx.info.name,
+                tag=ctx.info.sig,
             )
             solver_output = solve_low_level(path_ctx)
             if solver_output.result != unsat: