tree-sitter 测试文件语法与编程语言语法冲突

如何解决tree-sitter 测试文件语法与编程语言语法冲突

tree-sitter 测试文件的语法如下：

=========
Test name
=========

input

---

expected output

但是，TLA+ 中的模块定义如下：

---- MODULE ModuleName ----

====

这与 tree-sitter 测试文件格式冲突。如果我尝试运行此测试：

================
Multiple modules
================

---- MODULE Test ----
====

---- MODULE Test2 ----
====

---

(source_file
  (module
    (single_line)
    (identifier)
    (single_line)
    (double_line)
  )
  (module
    (single_line)
    (identifier)
    (single_line)
    (double_line)
  )
)

我收到此错误：

  modules:
    ✗ ---- MODULE Test2 ----

1 failure:

expected / actual

  1. ---- MODULE Test2 ----:
    (ERROR) (source_file (module (single_line) (identifier) (single_line) (double_line)) (module (single_line) (identifier) (single_line) (double_line)))

由于 tree-sitter test 将 ---- MODULE Test2 ---- 视为测试的名称，因为它位于两行 ==== 之间。我该如何解决这个问题？