Feature request: warn user if any tests run out of gas

[Arinerron]

In assertion mode, none of my tests were failing when I expected them to. It's pretty easy to understand why... they were running out of gas.

It would be helpful if the stats would include the number of tests that ran out of gas (only if one or more did) so I can realize the issue with my tests early on.

Note: this is different from the estimateGas feature in that in that this feature's purpose is to warn users when their tests are failing due to out-of-gas errors.

[ggrieco-tob]

We already have this as a feature request for assertion mode. In property mode, test that run of gas should be already handled correctly (they should fail). Is that what you expect, right?