Skip to content

v0.1.16: Refactor proof setup (#63)
Compare
Choose a tag to compare
@github-actions github-actions released this 04 Oct 10:42
v0.1.16
f624112
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. 
* Make `method_to_apr_proof` public

* Move calls

* Extract method `get_contract_and_method`

* Extract function `collect_tests`

* Extract function `collect_setup_methods`

* Update digest directly

* Rename variables

* Move statement

* Simplify log messages

* Change `_run_cfg_group` to work with `FoundryTest`

* Change `method_to_apr_proof` to work with `FoundryTest`

* Extract nested function `run_prover`

* Extract function `method_to_initialized_cfg`

* Pull setup digest computation

* Eliminate else branch

* Extract function `_setup_cterm`

* Pull `setUp()` final state loading

* Eliminate parameter `save_directory`

* Remove parameter `exclude_tests`

* Fix number of `pytest` workers on CI

* Set Version: 0.1.16

---------

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