fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-04 22:50:18 +00:00
Code Issues Projects Releases Wiki Activity
2af3e0c012
aqua/fuzzing-tests
History
InversionSpaces 3d238fe475 Initial
2023-06-21 12:26:48 +00:00
..
Aqua.g4 Initial 2023-06-21 12:26:48 +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