Skip to content

Add the protosol protobuf files used for solfuzz differential fuzzing#123

Open
yiyi-wang-rv wants to merge 1 commit intoOverclock-Validator:devfrom
runtimeverification:rv/protosol
Open

Add the protosol protobuf files used for solfuzz differential fuzzing#123
yiyi-wang-rv wants to merge 1 commit intoOverclock-Validator:devfrom
runtimeverification:rv/protosol

Conversation

@yiyi-wang-rv
Copy link

@yiyi-wang-rv yiyi-wang-rv commented Dec 4, 2025

While performing the differential fuzzing, we noticed that some required protobuf files are missing from conformance directory. So we rebuild all of them from protosol and copied them to the pkg/protosol-go directory. These files could be useful.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants