Skip to content

Issues: camshaft/bolero

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

37 Open 30 Closed
37 Open 30 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support --jobs option for random engine
#210 opened Apr 11, 2024 by john-h-kastner-aws
[DRAFT] RFC: generator grammars, state space estimates, and topological fuzzing
#203 opened Jan 13, 2024 by camshaft
2
cargo bolero list should not need to run the whole test suite
#196 opened Nov 9, 2023 by Ekleog-NEAR
6
Use bolero generators from any location in kani proof
#194 opened Oct 26, 2023 by camshaft
rename gen method
#193 opened Oct 23, 2023 by camshaft
msrv 1.57.0 may need to be bumped
#169 opened Aug 23, 2023 by WesleyRosenblum
Improve UX for nonexistent profile
#168 opened Aug 14, 2023 by Ekleog-NEAR
Workflow for Debugging/Reproducing Crashes (AFL)
#166 opened Aug 13, 2023 by theduke
Issues to combine Arbitrary and ForcedRng
#164 opened Jul 15, 2023 by shaobo-he-aws
How to use Arbitrary generators?
#150 opened May 17, 2023 by mwhicks1
7
Upgrade syn to v2
#147 opened May 15, 2023 by camshaft
AFL fuzzer: The job output directory already exists and contains the results of more than 25 minutes worth of fuzzing.
#144 opened Apr 22, 2023 by DianaNites
cargo bolero test --help is wrong, or test searching is broken [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
#143 opened Apr 21, 2023 by DianaNites
4
reduce command causes tool to crash [F] Crash Bolero crashed
#137 opened Apr 4, 2023 by adpaco-aws
5
New generic array impls require higher unwinding bounds for Kani [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [E] Performance Track performance improvement (Time / Memory / CPU)
#136 opened Mar 31, 2023 by adpaco-aws
Use try_from_fn for array generator implementation once stable [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [I] Refactoring / Clean Up Refactoring or cleaning up of existing code
#133 opened Mar 30, 2023 by camshaft
Add a script for patching integration tests [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [I] Refactoring / Clean Up Refactoring or cleaning up of existing code
#132 opened Mar 30, 2023 by camshaft
1
cargo bolero test --engine kani <test> fails to match harness [C] Bug This is a bug. Something isn't working. [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
#124 opened Mar 14, 2023 by robo9k
3
Detangling Driver and DriverMode [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [I] Refactoring / Clean Up Refactoring or cleaning up of existing code
#117 opened Jan 28, 2023 by Ekleog
2
cargo bolero repro command? [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
#114 opened Jan 22, 2023 by Ekleog
2
Running with -j 8 leads to "error: Unrecognized option: 'a'"
#100 opened Dec 8, 2022 by Ekleog-NEAR
1
2
Stats: marking known-useless runs
#92 opened Aug 18, 2022 by Ekleog
2
Construct fuzzer input from known result (AntiGenerator?) [C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-User Tag user issues / requests
#91 opened Aug 18, 2022 by Ekleog
10
Switching to a magic number-based collection generator?
#90 opened Aug 18, 2022 by Ekleog
7
On master, rustc 1.61.0 fails to link fibonacci example with --sanitizer NONE
#79 opened May 25, 2022 by Ekleog
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.