fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-04 06:30:17 +00:00
Code Issues Projects Releases Wiki Activity
feat/fuzzing
aqua/fuzzing-tests
History
InversionSpaces aefc52725d Add types
2023-09-19 15:59:07 +00:00
..
Aqua.g4 Add types 2023-09-19 15:59:07 +00:00
README.md Initial 2023-06-21 12:26:48 +00:00
requirements.txt Initial 2023-06-21 12:26:48 +00:00

README.md

Fuzzing tests for Aqua Compiler

Installation

python3 -m pip install -r requirements.txt

Usage

File Aqua.g4 contains ANTLRv4 grammar of Aqua Language.

The following command will generate python fuzzing input generators for Aqua in generated dir:

grammarinator-process Aqua.g4 -o generated

The following command will generate N tests in tests dir with maximum grammar depth D:

grammarinator-generate -p generated/AquaUnparser.py -l generated/AquaUnlexer -r prog -n N -d D