Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Fixes Echidna #103

Merged
merged 1 commit into from
May 14, 2024
Merged

Fixes Echidna #103

merged 1 commit into from
May 14, 2024

Conversation

HrikB
Copy link
Contributor

@HrikB HrikB commented May 13, 2024

This PR uncomments the echidna wrapper for property based testing.

@openzeppelin-code OpenZeppelin Code
Copy link

openzeppelin-code bot commented May 13, 2024 •
edited
Loading

Fixes Echidna

Generated at commit: 6edbf198b189f7c1581853afb259a23ed257596e

🚨 Report Summary

Severity Level Results
Contracts Critical
High
Medium
Low
Note
Total		 2
2
0
10
37
51
Dependencies Critical
High
Medium
Low
Note
Total		 0
0
0
0
0
0

For more details view the full report in OpenZeppelin Code Inspector

@HrikB HrikB requested a review from junkim012 May 13, 2024 22:20
@HrikB HrikB force-pushed the hrik/echidna-fix branch from 8359593 to cd83522 Compare May 13, 2024 22:25
@HrikB HrikB force-pushed the hrik/echidna-fix branch from cd83522 to 6edbf19 Compare May 13, 2024 22:30
@HrikB HrikB merged commit 6690e94 into master May 14, 2024
6 checks passed
@HrikB HrikB deleted the hrik/echidna-fix branch May 14, 2024 04:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@junkim012 junkim012 junkim012 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@HrikB @junkim012