tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Added fuzzing harness #79

Closed ahelwer closed 1 year ago

ahelwer commented 1 year ago

Can now fuzz the grammar with clang's libfuzz Also added a build script for creating a parser instrumented with various sanitizers