Paul Berg
Paul Berg
Trail of Bits wrote some invariant tests for PRBMath using Echidna: https://github.com/crytic/properties/pull/30
Also related: [Reusable properties for Ethereum contracts](https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/).
Thanks for the feature request, @Amxx! I will consider it.
Thanks @corentinDallenogare, we will take this into consideration.
This is an issue on Etherchain's behalf. They are not using [CORS](https://stackoverflow.com/questions/43871637/no-access-control-allow-origin-header-is-present-on-the-requested-resource-whe) in their API implementation. In the meantime the solution is to use another API for gas prices.
Failing on MacOS High Sierra and node 7.9.0: ``` gyp WARN install got an error, rolling back install gyp ERR! configure error gyp ERR! stack Error: connect ETIMEDOUT 198.18.255.254:443 gyp...
Yeah, go for it, thanks very much!
@ahmedali8 I'm unfortunately tied up with my work at Sablier V2 and not able to provide implementation feedback at the moment
Oh, shoot. I was the one who [suggested](https://twitter.com/PaulRBerg/status/1646101745712463872) using `evm-bn` for Remix 😅 In any case, I've become more open to adding support for zero decimals. This would be useful...
Thanks for re-opening this, @yann300. Before we can merge it, however, the tests must be updated to show that the function works properly with 0 decimals. Also, shouldn't zero decimals...