mirror of
https://github.com/firestar5683/StarPilot.git
synced 2026-11-14 16:33:59 +08:00
86c884841d
Remove obsolete type-checker comments from replay tests. Preserve executable test bodies and assertions.