Test parsing examples corpus during CI

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

Test parsing examples corpus during CI #25

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Adds the tlaplus/examples repo as submodule Tests grammar parses all example specs without error during CI run Fixed typo (t instead of \t) and some compile warnings in scanner.cc