Skip to content

Add runner script for fuzzing #76

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
Merged
merged 1 commit into from
Oct 31, 2025
Merged

Add runner script for fuzzing #76

merged 1 commit into from
Oct 31, 2025

Conversation

@tothtamas28
Copy link

@tothtamas28 tothtamas28 commented Oct 31, 2025

No description provided.

@tothtamas28 tothtamas28 self-assigned this Oct 31, 2025
@tothtamas28 tothtamas28 marked this pull request as ready for review October 31, 2025 12:36
@tothtamas28
Copy link
Author

tothtamas28 commented Oct 31, 2025 •
edited
Loading

Example run:

$ ./run-fuzzer.py --tests test_process_approve test_process_approve_checked --seeds 123 345 678
INFO 2025-10-31 12:39:08,329 ptoken.fuzzer - Setting up fuzzer
INFO 2025-10-31 12:39:08,329 ptoken.fuzzer - The following tests will be run: test_process_approve, test_process_approve_checked
INFO 2025-10-31 12:39:08,329 ptoken.fuzzer - The following seeds will be used: 123, 345, 678
INFO 2025-10-31 12:39:08,493 ptoken.fuzzer - SMIR file parsed: artefacts/p-token.smir.json
INFO 2025-10-31 12:39:08,647 kmir.kompile - Kompiled SMIR up-to-date, no kompilation necessary: artefacts/fuzzing-kompiled
INFO 2025-10-31 12:39:08,648 ptoken.fuzzer - Starting fuzzer
INFO 2025-10-31 12:39:08,648 ptoken.fuzzer - Fuzzing: test=test_process_approve, seed=123
INFO 2025-10-31 12:39:09,088 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve-123.kore
INFO 2025-10-31 12:39:09,207 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve-123.pretty
INFO 2025-10-31 12:39:09,208 ptoken.fuzzer - Fuzzing: test=test_process_approve, seed=345
INFO 2025-10-31 12:39:09,432 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve-345.kore
INFO 2025-10-31 12:39:09,552 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve-345.pretty
INFO 2025-10-31 12:39:09,553 ptoken.fuzzer - Fuzzing: test=test_process_approve, seed=678
INFO 2025-10-31 12:39:09,787 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve-678.kore
INFO 2025-10-31 12:39:09,906 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve-678.pretty
INFO 2025-10-31 12:39:09,907 ptoken.fuzzer - Fuzzing: test=test_process_approve_checked, seed=123
INFO 2025-10-31 12:39:10,164 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve_checked-123.kore
INFO 2025-10-31 12:39:10,283 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve_checked-123.pretty
INFO 2025-10-31 12:39:10,283 ptoken.fuzzer - Fuzzing: test=test_process_approve_checked, seed=345
INFO 2025-10-31 12:39:10,541 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve_checked-345.kore
INFO 2025-10-31 12:39:10,646 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve_checked-345.pretty
INFO 2025-10-31 12:39:10,647 ptoken.fuzzer - Fuzzing: test=test_process_approve_checked, seed=678
INFO 2025-10-31 12:39:10,895 ptoken.fuzzer - KORE file written: artefacts/fuzzing/test_process_approve_checked-678.kore
INFO 2025-10-31 12:39:11,011 ptoken.fuzzer - Pretty file written: artefacts/fuzzing/test_process_approve_checked-678.pretty
INFO 2025-10-31 12:39:11,012 ptoken.fuzzer - Fuzzing complete

(Default --tests are all tests from proofs.md. Default --seeds are 0..9.)

@tothtamas28 tothtamas28 requested a review from sskeirik October 31, 2025 13:48
dkcumming
dkcumming approved these changes Oct 31, 2025
View reviewed changes
Copy link
Collaborator

@dkcumming dkcumming left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, I can't recommend any improvements from what I see

@tothtamas28 tothtamas28 merged commit 7d26c82 into proofs Oct 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dkcumming dkcumming dkcumming approved these changes

@jberthold jberthold Awaiting requested review from jberthold

@sskeirik sskeirik Awaiting requested review from sskeirik

Assignees

@tothtamas28 tothtamas28

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@tothtamas28 @dkcumming