Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / proptest-rs/proptest issues and pull requests

#362 - Add PathBuf Arbitrary impl

Pull Request - State: closed - Opened by maackle about 1 year ago - 3 comments

#362 - Add PathBuf Arbitrary impl

Pull Request - State: open - Opened by maackle about 1 year ago - 3 comments

#361 - Make VarBitSet saturated + FromIterator efficient

Pull Request - State: closed - Opened by sameer about 1 year ago - 3 comments

#360 - Remove byteorder dependency

Pull Request - State: closed - Opened by psychon about 1 year ago - 2 comments

#359 - Upstreaming a delta-debugging-based shrinking algorithm

Issue - State: open - Opened by matheus23 about 1 year ago - 4 comments
Labels: feature-request

#358 - Option to print seed value of failing test

Issue - State: open - Opened by gz about 1 year ago
Labels: quality-of-life

#357 - proptest: remove no longer needed "break-dead-code" feature

Pull Request - State: closed - Opened by tzemanovic about 1 year ago

#356 - add backtraces in final error report

Issue - State: open - Opened by tzemanovic about 1 year ago
Labels: quality-of-life

#355 - state-machine: fix logging by adding "std" feature

Pull Request - State: closed - Opened by tzemanovic about 1 year ago

#354 - fix warnings in proptest-derive tests

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#353 - deps: Update criterion to v0.5

Pull Request - State: closed - Opened by waywardmonkeys over 1 year ago

#352 - tests: Use `allow` to suppress warnings.

Pull Request - State: closed - Opened by waywardmonkeys over 1 year ago - 2 comments

#351 - Fix typos

Pull Request - State: closed - Opened by waywardmonkeys over 1 year ago

#350 - Update CI

Pull Request - State: closed - Opened by waywardmonkeys over 1 year ago

#349 - deps: Update bitflags to v2

Pull Request - State: closed - Opened by waywardmonkeys over 1 year ago

#348 - fix changelog for #335

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#347 - print failed seed even if the regressions file exists

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#346 - Bump min rustc to 1.64

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#344 - Update license field following SPDX 2.1 license expression standard

Pull Request - State: closed - Opened by frisoft over 1 year ago

#343 - Invalid range for float inclusive ranges a..=a

Issue - State: open - Opened by Andlon over 1 year ago - 1 comment
Labels: bug

#341 - [Cleanup] FailurePersistence : update stale doc comments

Pull Request - State: closed - Opened by matthew-russo over 1 year ago

#340 - chore(book): update strategy-basics.md

Pull Request - State: closed - Opened by Ethan-000 over 1 year ago

#339 - link failing in book

Issue - State: closed - Opened by Ethan-000 over 1 year ago

#338 - Add ability to customize max default SizeRange via env var.

Pull Request - State: closed - Opened by nipunn1313 over 1 year ago - 11 comments

#337 - Permit use of (?-u) in byte-regex strategies (#336)

Pull Request - State: closed - Opened by zackw over 1 year ago - 5 comments

#336 - `bytes_regex` should permit generation of byte sequences that are invalid UTF-8

Issue - State: closed - Opened by zackw over 1 year ago - 4 comments
Labels: help-request

#335 - build(deps): bump regex-syntax from 0.6 to 0.7

Pull Request - State: closed - Opened by sjackman over 1 year ago - 9 comments

#334 - Use prop_assume under prop_compose?

Issue - State: closed - Opened by akiradeveloper over 1 year ago - 2 comments

#333 - Remove `#![feature(core_intrinsics)]` usage

Pull Request - State: closed - Opened by nvzqz over 1 year ago - 1 comment

#332 - Arbitrary : negative impl of Arbitrary on never type (!)

Pull Request - State: closed - Opened by matthew-russo over 1 year ago

#331 - Handling Arbitrary on structs containing the Never type (!)

Issue - State: open - Opened by nipunn1313 over 1 year ago - 4 comments
Labels: feature-request

#330 - Equivalent of `hypothesis.example`?

Issue - State: closed - Opened by matthiasgoergens over 1 year ago - 1 comment
Labels: duplicate, feature-request

#329 - proptest-state-machine: add a readme page

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#328 - Proptest fails when running when combining fork and ignore

Issue - State: open - Opened by jonathanberthias over 1 year ago - 3 comments
Labels: quality-of-life

#327 - book: add a line about the proptest-state-machine crate

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#326 - bump derive to 0.4.0

Pull Request - State: closed - Opened by rex-remind101 over 1 year ago

#325 - bump version to 1.2.0

Pull Request - State: closed - Opened by rex-remind101 over 1 year ago - 1 comment

#324 - state-machine prerequisites

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#323 - refactor logging

Issue - State: open - Opened by tzemanovic over 1 year ago
Labels: quality-of-life

#322 - [Fix] NonZero : only impl Arbitrary for 128-bit NonZero nums in non-wasm targets

Pull Request - State: closed - Opened by matthew-russo over 1 year ago - 1 comment

#321 - No longer builds for wasm as of v1.1

Issue - State: closed - Opened by brunocodutra over 1 year ago - 6 comments
Labels: bug

#320 - Default SizeRange too large

Issue - State: closed - Opened by nipunn1313 over 1 year ago - 3 comments
Labels: quality-of-life

#319 - Concurrency issue

Issue - State: closed - Opened by sandreae over 1 year ago - 5 comments

#318 - allow env vars to override non-default config

Pull Request - State: closed - Opened by tzemanovic over 1 year ago

#317 - update actions

Pull Request - State: closed - Opened by rex-remind101 over 1 year ago

#316 - WIP attr macro

Pull Request - State: closed - Opened by cameron1024 over 1 year ago - 3 comments

#315 - allow to override explicit proptest_config from env vars

Issue - State: closed - Opened by tzemanovic over 1 year ago

#314 - update docs links

Pull Request - State: closed - Opened by tzemanovic over 1 year ago - 4 comments

#313 - Detect literals in alternations for regex strategy

Issue - State: open - Opened by Oppen over 1 year ago - 2 comments
Labels: quality-of-life

#312 - ci: deploy book to gh-pages

Pull Request - State: closed - Opened by tzemanovic over 1 year ago - 1 comment

#311 - Add `bits::u128` and `bits::i128`

Issue - State: open - Opened by a2aaron over 1 year ago - 3 comments
Labels: feature-request, good-first-issue

#310 - State machine testing

Pull Request - State: closed - Opened by tzemanovic over 1 year ago - 24 comments

#309 - Readme : add explicit link to book at the top of the readme

Pull Request - State: closed - Opened by matthew-russo over 1 year ago

#308 - Update syn and friends to v1

Pull Request - State: closed - Opened by CosmicHorrorDev over 1 year ago - 2 comments

#307 - msrv

Pull Request - State: closed - Opened by rex-remind101 over 1 year ago

#306 - fix nightly derive tests

Pull Request - State: closed - Opened by rex-remind101 over 1 year ago

#305 - Ability to guard branches of `prop_oneof!`

Issue - State: closed - Opened by jonhoo over 1 year ago - 8 comments
Labels: help-request

#304 - Derive Strategy for external crates via new autoderive_strategy! macro

Issue - State: open - Opened by nipunn1313 over 1 year ago - 4 comments
Labels: feature-request

#302 - Please update CHANGELOG for 1.1.0

Issue - State: closed - Opened by davidhewitt over 1 year ago - 2 comments

#301 - add msrv to readme

Pull Request - State: closed - Opened by cameron1024 over 1 year ago

#300 - New release (v1.1.0) changes MSRV to 1.60

Issue - State: closed - Opened by Karrq over 1 year ago - 6 comments

#299 - Remove quick_error dependency

Pull Request - State: closed - Opened by cole-miller over 1 year ago

#298 - Update some links

Pull Request - State: closed - Opened by atouchet over 1 year ago

#297 - Release 1.1.0

Pull Request - State: closed - Opened by cameron1024 over 1 year ago

#297 - Release 1.1.0

Pull Request - State: closed - Opened by cameron1024 over 1 year ago

#296 - Fix badges

Pull Request - State: closed - Opened by atouchet almost 2 years ago

#295 - [replays-dont-count-cases]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#295 - [replays-dont-count-cases]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#294 - [fix-ci]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#294 - [fix-ci]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#293 - Docs referencing non-existing function `TestRunner::set_source_file`

Issue - State: open - Opened by matusf almost 2 years ago - 1 comment
Labels: good-first-issue

#293 - Docs referencing non-existing function `TestRunner::set_source_file`

Issue - State: closed - Opened by matusf almost 2 years ago - 1 comment
Labels: good-first-issue

#292 - RFC: infinite streams

Issue - State: open - Opened by dfoxfranke almost 2 years ago
Labels: feature-request

#292 - RFC: infinite streams

Issue - State: open - Opened by dfoxfranke almost 2 years ago
Labels: feature-request

#291 - Fix prop_assert_ne! requiring import of prop_assert!

Pull Request - State: closed - Opened by schuelermine almost 2 years ago - 1 comment

#291 - Fix prop_assert_ne! requiring import of prop_assert!

Pull Request - State: closed - Opened by schuelermine almost 2 years ago - 1 comment

#290 - Testing a small number of cases across a large number of CI runs

Issue - State: closed - Opened by adeschamps almost 2 years ago - 5 comments
Labels: help wanted

#289 - Is there a way to assert against previous value of function under test

Issue - State: open - Opened by atodorov almost 2 years ago - 1 comment
Labels: help wanted

#289 - Is there a way to assert against previous value of function under test

Issue - State: closed - Opened by atodorov almost 2 years ago - 2 comments
Labels: help wanted

#288 - Const generic arbitrary

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 2 comments

#288 - Const generic arbitrary

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 2 comments

#287 - Config : support disabling failure persistence via env var

Pull Request - State: closed - Opened by matthew-russo almost 2 years ago

#287 - Config : support disabling failure persistence via env var

Pull Request - State: closed - Opened by matthew-russo almost 2 years ago

#286 - Multi-core testing

Issue - State: open - Opened by GoldsteinE almost 2 years ago - 2 comments
Labels: quality-of-life

#286 - Multi-core testing

Issue - State: open - Opened by GoldsteinE almost 2 years ago - 2 comments
Labels: help-request

#285 - [fix-ci-nigtly]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago - 2 comments

#285 - [fix-ci-nigtly]

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago - 2 comments

#284 - Provide a way to also supply multiple manual test cases, that is, parameterized or explicit cases.

Issue - State: open - Opened by Clockwork-Muse almost 2 years ago - 8 comments
Labels: feature-request

#284 - Provide a way to also supply multiple manual test cases, that is, parameterized or explicit cases.

Issue - State: open - Opened by Clockwork-Muse almost 2 years ago - 8 comments
Labels: feature-request

#283 - Improve float range sampling

Pull Request - State: closed - Opened by ghost almost 2 years ago

#283 - Improve float range sampling

Pull Request - State: closed - Opened by ghost almost 2 years ago

#282 - docs - example of manual arbitrary impl

Pull Request - State: open - Opened by cameron1024 almost 2 years ago

#282 - docs - example of manual arbitrary impl

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 3 comments

#281 - Simplify non_zero arbitrary impl

Pull Request - State: closed - Opened by ghost almost 2 years ago - 4 comments

#281 - Simplify non_zero arbitrary impl

Pull Request - State: closed - Opened by ghost almost 2 years ago - 4 comments