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