Ernesto García f1a69f164e Add Halmos support for formal verification (#5034) ...

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>

2024-05-23 09:01:12 -06:00

..

beacon

Remove async from describe blocks and add missing await in tests (#4942)

2024-03-14 17:35:08 +01:00

ERC1967

Finalize test migration: remove legacy dependencies and test helpers (#4797)

2023-12-26 23:46:06 +01:00

transparent

Make tests style more uniform (#4812)

2024-01-02 10:31:33 -06:00

utils

Finalize test migration: remove legacy dependencies and test helpers (#4797)

2023-12-26 23:46:06 +01:00

Clones.behaviour.js

Add ability to create clones with initial value in Clones.sol (#4936)

2024-03-06 13:44:42 -06:00

Clones.t.sol

Add Halmos support for formal verification (#5034)

2024-05-23 09:01:12 -06:00

Clones.test.js

Add ability to create clones with initial value in Clones.sol (#4936)

2024-03-06 13:44:42 -06:00

Proxy.behaviour.js

Remove async from describe blocks and add missing await in tests (#4942)

2024-03-14 17:35:08 +01:00