Nothing Special   »   [go: up one dir, main page]
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

40 Open 35 Closed
40 Open 35 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Add support for Tyche analysis tool
#254 opened Oct 30, 2024 by hgoldstein95
1
bolero reduce doesn’t seem to do anything
#247 opened Sep 28, 2024 by Porges
1
cargo test does not always replay corpus
#243 opened Sep 17, 2024 by vasumv
5
honggfuzz fails to build with binutils ≥ 2.39
#233 opened Jun 11, 2024 by jtojnar
2
[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
6
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
ProTip! Updated in the last three days: updated:>2024-11-22.