camshaft bolero issues - Githubissues

camshaft / bolero

property testing and verification front-end for Rust

https://camshaft.github.io/bolero

MIT License

181 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

build(deps): bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

#242 dependabot[bot] opened 2 days ago
0
build(deps): bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3

#241 dependabot[bot] closed 1 month ago
0
feat(bolero-generator): add `trace` utility

#240 camshaft closed 2 months ago
0
release bolero-generator 0.11.1

#239 camshaft closed 2 months ago
0
fix arbitrary generators

#238 camshaft closed 2 months ago
0
Integration with arbitrary is broken on bolero 0.11.x

#237 glebpom closed 2 months ago
1
build(deps): bump actions/checkout from 4.1.6 to 4.1.7

#236 dependabot[bot] closed 2 months ago
0
honggfuzz: update to 2.6

#235 camshaft opened 2 months ago
3
add versions to dev-dependencies

#234 camshaft closed 2 months ago
0
honggfuzz fails to build with binutils ≥ 2.39

#233 jtojnar opened 2 months ago
2
cargo-bolero tests fail to build from crates.io

#232 jtojnar closed 2 months ago
1
kani: remove use of kani::vec::any_vec

#231 camshaft closed 2 months ago
0
release 0.11.1

#230 camshaft closed 2 months ago
0
fix cfg warnings

#229 camshaft closed 2 months ago
0
revert kani slice size change

#228 camshaft closed 2 months ago
0
add support for multiple jobs in random engine

#227 camshaft closed 2 months ago
0
release 0.11.0

#226 camshaft closed 2 months ago
0
deprecate driver mode

#225 camshaft closed 2 months ago
0
add option to limit rng output

#224 camshaft closed 2 months ago
0
add more inlines for better optimization

#223 camshaft closed 3 months ago
0
add structural methods to driver

#222 camshaft closed 3 months ago
0
add driver cache

#221 camshaft closed 3 months ago
0
include more examples

#220 camshaft closed 3 months ago
0
avoid DriverMode branching on byte driver

#219 camshaft closed 3 months ago
0
bump MSRV to 1.66.0

#218 camshaft closed 3 months ago
0
use a not-cryptographic rng for input generator

#217 camshaft closed 3 months ago
0
build(deps): bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1

#216 dependabot[bot] closed 3 months ago
1
build(deps): bump actions/checkout from 4.1.1 to 4.1.6

#215 dependabot[bot] closed 3 months ago
1
build(deps): bump actions/checkout from 4.1.1 to 4.1.5

#214 dependabot[bot] closed 3 months ago
1
build(deps): bump actions/checkout from 4.1.1 to 4.1.4

#213 dependabot[bot] closed 4 months ago
1
build(deps): bump actions/checkout from 4.1.1 to 4.1.3

#212 dependabot[bot] closed 4 months ago
1
build(deps): bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0

#211 dependabot[bot] closed 3 months ago
1
Support `--jobs` option for `random` engine

#210 john-h-kastner-aws closed 2 months ago
0
build(deps): bump peaceiris/actions-mdbook from 1.2.0 to 2.0.0

#209 dependabot[bot] closed 3 months ago
1
build(deps): bump actions/checkout from 4.1.1 to 4.1.2

#208 dependabot[bot] closed 4 months ago
1
chore: bump versions for release

#207 camshaft closed 6 months ago
0
replace with_iterations with with_test_time

#206 Ekleog closed 6 months ago
5
avoid infinite loop with invalid objects

#205 Ekleog closed 6 months ago
1
allow bolero tests to run on wasm32-unknown-unknown

#204 Ekleog opened 7 months ago
2
[DRAFT] RFC: generator grammars, state space estimates, and topological fuzzing

#203 camshaft opened 7 months ago
2
fix: actually limit the time taken to shrink

#202 Ekleog closed 7 months ago
4
build(deps): bump model-checking/kani-github-action from 1.0 to 1.1

#201 dependabot[bot] closed 7 months ago
0
fix: use exclusive modulus for uniform samples

#200 camshaft closed 8 months ago
0
Uniform never generates upper value

#199 glebpom closed 8 months ago
2
make error messages more explicit

#198 Ekleog-NEAR closed 9 months ago
0
build(deps): bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0

#197 dependabot[bot] closed 9 months ago
0
`cargo bolero list` should not need to run the whole test suite

#196 Ekleog-NEAR opened 10 months ago
6
fix: fix `cargo bolero list` when some tests are failing

#195 Ekleog-NEAR closed 10 months ago
2
Use bolero generators from any location in kani proof

#194 camshaft opened 10 months ago
0
rename `gen` method

#193 camshaft opened 10 months ago
0