diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 08:58:56 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 08:58:56 +0330 |
| commit | 88fffdc0d4aacc007c3b2b9b2d2aab35d171c21a (patch) | |
| tree | 954da95d9a257ced63b1beb0a048070c7dafcad0 | |
| parent | todo: overnight freelist-inline done-gate met with trees timings (diff) | |
xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and xubat (bin)
| -rw-r--r-- | tests/xref.baseline | 3 |
1 files changed, 3 insertions, 0 deletions
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 |