Skip to content

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

Open
yiyi-wang-rv wants to merge 1 commit into
Overclock-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 into
Overclock-Validator:devfrom
runtimeverification:rv/protosol

Conversation

@yiyi-wang-rv

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

Copy link
Copy Markdown

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.

@7layermagik
7layermagik force-pushed the dev branch 2 times, most recently from edcb81f to 97b66c6 Compare February 25, 2026 04:46
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