From 88fffdc0d4aacc007c3b2b9b2d2aab35d171c21a Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 08:58:56 +0330 Subject: xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and xubat (bin) --- tests/xref.baseline | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tests') diff --git a/tests/xref.baseline b/tests/xref.baseline index e7533fa..c0e2233 100644 --- a/tests/xref.baseline +++ b/tests/xref.baseline @@ -187,6 +187,7 @@ ft_bd bin ft_ck bin kw_for ft_ir bin ft_iv bin kw_for +ft_ln bin kw_for ft_nops bin fty chk_reset closure ctx_pop fn_begin fndef gbind primary @@ -713,6 +714,8 @@ xprojection ctx_pop field postfix_tail primary xstamp array_dynamic_literal array_len bin call closure enhcall methcall newtyped postfix_tail primary unary xstr array_dynamic_literal array_len array_literal_tokens bin blockexpr call closure drop_attach heap_box incdec methcall postfix_tail primary reassign_free unary xty args array_cap array_dynamic_literal array_len array_literal_tokens array_pop array_push array_resize bin blockexpr call closure ctx_pop drop_attach drop_member enhcall expr fcoerce field ftest heap_box kw_cfunc kw_share_value kw_sizeof kw_typeof kwcall methcall newtyped postfix_tail primary reassign_free ternary unary +xub bin +xubat bin xvk array_dynamic_literal array_literal_tokens bin blockexpr chk_reset ctx_pop expr field fn_begin incdec kw_share_value kwcall postfix_tail primary ternary unary vf_coerce vf_effect vf_forget xvv blockexpr primary unary vf_coerce xzero array_dynamic_literal array_literal_tokens bin blockexpr call closure drop_attach enhcall expr field heap_box incdec kwcall methcall newtyped postfix_tail primary ternary unary -- cgit v1.2.3