ID: #900151 | Status:
Complete

Last updated a year ago

MLabs - Apropos for Property Tests

Problem

Property tests help ensure mission-critical dApps don’t contain vulnerabilities. However, writing tests to check every contract permutation and edge-case state is exhausting if not wholly impossible.

Solution

While QuickCheck is effective, we propose Apropos which generates thousands of property tests based on a logical dApp construct greatly increasing confidence in code and reducing the developer burden.

Completed outcome

Download report

Total to date

This is the total amount allocated to MLabs - Apropos for Property Tests.

$62,400
Total funds requested
Distributed: $62,400
Remaining: $0
Complete
In progress
To be completed
513
Total votes cast
₳180M
Votes yes
₳20.8M
Votes no

Monthly report

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Team

Compiler developers and other advanced Haskell / Plutus engineers.

Moreover, our engineers are committed to open-source tooling for the Cardano ecosystem. See our work on the Cardano Transaction Library (Fund8 successful proposal) and the Plutonomicon GitHub repo. Links below.

lpmaho
lpmaho