crytic / crytic/echidna

Fail a test when gas runs out

Open
#685 0 comments 0 reactions 0 assignees View on GitHub
enhancement question
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

From my experiments, it seems that Echidna is treating an OOG issue as a passed test. This is counter-intuitive, and makes spotting infinite loops in the code very difficulty. I posit it would be better to fail a test in that case - wdyt?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.