Skip to content

v0.1.17: Use infinite gas by default, add `setGas` cheatcode (#57)
Compare
Choose a tag to compare
@github-actions github-actions released this 04 Oct 14:03
v0.1.17
336c92e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
* Use infinite gas by default; add `setGas`

* Set Version: 0.1.10

* Set Version: 0.1.15

* Update invariant for `LoopsTest.sum_N`

* Remove `infiniteGas()` from `FreshIntTest`

* Update loop invariant for `sum_n`, expected output

* Set Version: 0.1.16

* Set Version: 0.1.17

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>
Assets 2
Loading