Home

Awesome

property-based-testing-benchmark

Property-based testing benchmark

Description

This project aims to provide a comprehensive benchmark analysis of the performance and effectiveness of different property-based testing tools against real-world DeFi projects.

Usage

Launch the benchmark infrastructure with Terraform:

cd infrastructure
terraform init
terraform apply

Run the benchmark

python3 -m benchmark producer --full-benchmark

Analyse the results

python3 -m benchmark analyser

Project structure

Contribute

Contributions are welcome. Feel free to open an issue or pull request.