0

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 ----视为测试的名称,因为它位于两行====. 我该如何解决这个问题?

4

0 回答 0