camshaft/bolero

Issues

• `reduce` command causes tool to crash

  #137 opened a year ago by adpaco-aws
  6

• Integration with arbitrary is broken on bolero 0.11.x

  #237 opened 3 months ago by glebpom
  1

• cargo-bolero tests fail to build from crates.io

  #232 opened 3 months ago by jtojnar
  1

• honggfuzz fails to build with binutils ≥ 2.39

  #233 opened 3 months ago by jtojnar
  2

• Support `--jobs` option for `random` engine

  #210 opened 3 months ago by john-h-kastner-aws
  0

• [DRAFT] RFC: generator grammars, state space estimates, and topological fuzzing

  #203 opened 8 months ago by camshaft
  2

• Uniform never generates upper value

  #199 opened 9 months ago by glebpom
  2

• `cargo bolero list` should not need to run the whole test suite

  #196 opened 10 months ago by Ekleog-NEAR
  6

• Use bolero generators from any location in kani proof

  #194 opened a year ago by camshaft
  0

• rename `gen` method

  #193 opened a year ago by camshaft
  0

• Running cargo-bolero jobs on ClusterFuzz

  #98 opened a year ago by Ekleog-NEAR
  2

• new "random" engine

  #179 opened a year ago by mwhicks1
  0

• msrv 1.57.0 may need to be bumped

  #169 opened a year ago by WesleyRosenblum
  0

• Improve UX for nonexistent profile

  #168 opened a year ago by Ekleog-NEAR
  0

• Workflow for Debugging/Reproducing Crashes (AFL)

  #166 opened a year ago by theduke
  0

• Issues to combine `Arbitrary` and `ForcedRng`

  #164 opened a year ago by shaobo-he-aws
  0

• Differences between `DirectRng` and `ForcedRng`

  #158 opened a year ago by shaobo-he-aws
  11

• Use `ThreadRng` as the driver to generate `String`

  #157 opened a year ago by shaobo-he-aws
  3

• `cargo bolero test --engine kani <test>` fails to match harness

  #124 opened 2 years ago by robo9k
  3

• How to use `Arbitrary` generators?

  #150 opened a year ago by mwhicks1
  7

• Upgrade syn to v2

  #147 opened a year ago by camshaft
  0

• `cargo bolero test --help` is wrong, or test searching is broken

  #143 opened a year ago by DianaNites
  4

• AFL fuzzer: The job output directory already exists and contains the results of more than 25 minutes worth of fuzzing.

  #144 opened a year ago by DianaNites
  0

• New generic array impls require higher unwinding bounds for Kani

  #136 opened a year ago by adpaco-aws
  0

• Add a script for patching integration tests

  #132 opened a year ago by camshaft
  1

• Use try_from_fn for array generator implementation once stable

  #133 opened a year ago by camshaft
  0

• Support RUSTC_BOOTSTRAP

  #76 opened a year ago by camshaft
  1

• gen-arbitrary is slow

  #111 opened a year ago by Ekleog
  5

• Construct fuzzer input from known result (AntiGenerator?)

  #91 opened 2 years ago by Ekleog
  10

• Implement test attribute

  #39 opened 4 years ago by camshaft
  0

• Add support for crux engine

  #34 opened 4 years ago by camshaft
  0

• Add support for Insta assertions

  #33 opened 4 years ago by camshaft
  0

• thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: UnexpectedVersionFormat'

  #97 opened a year ago by wizeman
  5

• `cargo bolero repro` command?

  #114 opened 2 years ago by Ekleog
  2

• Detangling Driver and DriverMode

  #117 opened 2 years ago by Ekleog
  2

• Make a release?

  #85 opened a year ago by Ekleog
  2

• `#derive(TypeGenerator)` for recursive `enum`s

  #121 opened 2 years ago by mwhicks1
  1

• impl TypeGenerator for chrono::DateTime, chrono_tz::Tz, etc?

  #106 opened 2 years ago by Ekleog
  4

• Feature request: using bolero in other languages

  #48 opened 2 years ago by ckaran
  8

• Switching to a magic number-based collection generator?

  #90 opened 2 years ago by Ekleog
  7

• Trophy case?

  #113 opened 2 years ago by Ekleog
  6

• Deriving TypeGenerator requires that it is in scope

  #105 opened 2 years ago by Ekleog
  0

• Running with -j 8 leads to "error: Unrecognized option: 'a'"

  #100 opened 2 years ago by Ekleog-NEAR
  2

• Stats: marking known-useless runs

  #92 opened 2 years ago by Ekleog
  2

• Allow defining the location for corpus and artifacts directories

  #84 opened 2 years ago by Ekleog
  1

• Building from source fails

  #87 opened 2 years ago by zhassan-aws
  2

• On master, rustc 1.61.0 fails to link fibonacci example with --sanitizer NONE

  #79 opened 2 years ago by Ekleog
  2

• Fibonacci example makes stable rustc 1.60 segfault in LLVM

  #71 opened 2 years ago by Ekleog
  4

• Feature request: Using bolero to find 'slow' inputs

  #49 opened 4 years ago by ckaran
  0

• New release?

  #44 opened 4 years ago by ckaran
  2