Синтаксис тестового файла tree-sitter конфликтует с синтаксисом языка программирования

Question

Синтаксис тестового файла 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 ---- как название теста, так как он расположен между двумя строками ====. Как мне обойти эту проблему?