HomeFunds overviewFund9F9: Developer EcosystemMLabs - Apropos for Property Tests
ID: Idea #414086

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.

Total so far

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

Total Funds Requested

$62,400

Distributed
$62,400
Remaining
$0
513
Total votes cast
₳180M
Votes yes
₳20.8M
Votes no

More detail

Completed outcome

Monthly report

Progress report

Status: Completed
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Progress report

Status: In progress
On track: Yes
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