Open bbyalcinkaya opened 5 months ago
The booster tests serve the purpose of testing the performance of the prover by running various claims where the booster might abort or get stuck.
Each booster test consists of two main components:
.wat
Example test configuration:
{ "inputs": ["BigUint", "BigUint"], "aborted": 2, "stuck": 0 }
In this example, the test has two BigUint parameters and is expected to encounter 2 aborts and 0 stucks during execution.
BigUint
Follow these instructions from inside the kmxwasm directory.
kmxwasm
Install the dependencies
poetry install
Running all booster tests
make test-booster
Alternatively, you can execute them directly using Poetry:
poetry run pytest src/tests/booster
Running a specific test:
To run a specific test, you can use the -k flag along with the test name:
-k
make test-booster TEST_ARGS='-k bigIntAdd' #or poetry run pytest src/tests/booster -k bigIntAdd
You can create bug reports by running the tests with the --bug-report flag.
--bug-report
poetry run pytest src/tests/booster --bug-report --bug-report-dir <output-directory> poetry run pytest src/tests/booster -k bigIntAdd --bug-report --bug-report-dir <output-directory>
Introduction
The booster tests serve the purpose of testing the performance of the prover by running various claims where the booster might abort or get stuck.
Each booster test consists of two main components:
.wat
) file that mimics the structure of a Kasmer test contract.Example test configuration:
In this example, the test has two
BigUint
parameters and is expected to encounter 2 aborts and 0 stucks during execution.Running the tests
Follow these instructions from inside the
kmxwasm
directory.Install the dependencies
Running all booster tests
Alternatively, you can execute them directly using Poetry:
Running a specific test:
To run a specific test, you can use the
-k
flag along with the test name:Creating Bug Reports
You can create bug reports by running the tests with the
--bug-report
flag.