Skip to content

Allow forge's contract invariant testing to contribute to coverage #4007

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
0xPhaze opened this issue Jan 2, 2023 · 0 comments · Fixed by #8265
Closed

Allow forge's contract invariant testing to contribute to coverage #4007

0xPhaze opened this issue Jan 2, 2023 · 0 comments · Fixed by #8265
Labels
A-testing Area: testing C-forge Command: forge Cmd-forge-coverage Command: forge coverage T-feature Type: feature

Comments

@0xPhaze
Copy link

0xPhaze commented Jan 2, 2023

Component

Forge

Describe the feature you would like

Related to #3412 .

It would be nice to have an option to allow forge's contract invariant testing to contribute to coverage in order to perform further analysis.

Additional context

No response
@0xPhaze 0xPhaze added the T-feature Type: feature label Jan 2, 2023
@rkrasiuk rkrasiuk added C-forge Command: forge A-testing Area: testing labels Jan 4, 2023
@mds1 mds1 added the Cmd-forge-coverage Command: forge coverage label Feb 27, 2023
@mds1 mds1 mentioned this issue Mar 1, 2023
Closed
@0xalpharush 0xalpharush mentioned this issue Aug 3, 2023
Closed
2 tasks
This was referenced Dec 11, 2023
Closed
Merged
This was referenced Jun 27, 2024
Open
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
A-testing Area: testing C-forge Command: forge Cmd-forge-coverage Command: forge coverage T-feature Type: feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat(invariant): collect coverage during runs grandizzy/foundry
3 participants
@mds1 @rkrasiuk @0xPhaze