Skip to content

Prune Jsonpickle corpora#3

Merged
DaveLak merged 1 commit intomainfrom
jsonpickle/initial-seeds
Aug 21, 2024
Merged

Prune Jsonpickle corpora#3
DaveLak merged 1 commit intomainfrom
jsonpickle/initial-seeds

Conversation

@DaveLak
Copy link
Owner

@DaveLak DaveLak commented Aug 21, 2024

Using libfuzzer's merge feature

Using libfuzzer's merge feature
@DaveLak DaveLak merged commit 2a9540f into main Aug 21, 2024
@DaveLak DaveLak deleted the jsonpickle/initial-seeds branch August 21, 2024 07:09
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.

1 participant