search

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs
MIT License
12 stars 1 forks source link

Test fuzzing via parser generator. #36

Open StephanGocht opened 2 years ago

StephanGocht commented 2 years ago

We could use Lark as parser generator and to generate test inputs for automated testing of the parsing.