Crate phragmen_pjr

Fuzzing which ensures that running unbalanced sequential phragmen always produces a result which satisfies our PJR checker.

Running a single iteration

Honggfuzz shuts down each individual loop iteration after a configurable time limit. It can be helpful to run a single iteration on your hardware to help benchmark how long that time limit should reasonably be. Simply run the program without the fuzzing configuration to run a single iteration: cargo run --bin phragmen_pjr.

Running

Run with HFUZZ_RUN_ARGS="-t 10" cargo hfuzz run phragmen_pjr.

Note the environment variable: by default, cargo hfuzz shuts down each iteration after 1 second of runtime. We significantly increase that to ensure that the fuzzing gets a chance to complete. Running a single iteration can help determine an appropriate value for this parameter.

Debugging a panic

Once a panic is found, it can be debugged with HFUZZ_RUN_ARGS="-t 10" cargo hfuzz run-debug phragmen_pjr hfuzz_workspace/phragmen_pjr/*.fuzz.

Modules

• common 🔒
  Common fuzzing utils.

Structs

• Opt 🔒

Constants

• MAX_CANDIDATES 🔒
• MAX_VOTERS 🔒
• MIN_CANDIDATES 🔒
• MIN_VOTERS 🔒

Functions

• iteration 🔒
• main 🔒

Type Aliases

• AccountId 🔒