dapphub / dapphub/dapptools

Log gas for one property test run

Open
#692 3 comments 1 reaction 0 assignees View on GitHub
Dominant language
Haskell
Stars
2.1k
Forks
320
PR merge metrics
No merged PRs in 30d

Description

Currently using property tests means you forfeit your ability to see logs or gas usage in the `dapp test` output, would like a way to still see debug information like that so using property tests is truly a no tradeoff feature.

This is a tough problem as a run may not fail but still may not represent the expected usage of the contract (ie: test function returns early because a number given as a parameter was too large). Could be solved with some sort of heuristics to detect a test run with a median gas usage (or some other metric)?

Could also be solved by giving the test developer a way to specify if a run functioned perfectly as expected (no early returns, etc).

wdyt?

Contributor guide

No contributing guide indexed for this repository

Research direction

Start at the dapp test property-test output path and determine how logs and gas usage are currently omitted. Compare the proposed representative-run heuristic with letting test developers mark valid runs; done means a property test can expose debug information and gas usage without hiding early-return behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
cli, devtools, testing
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.