Code

Support forcing all primitives#3801

Code

Merged

Zac-HD merged 47 commits intoHypothesisWorks:masterHypothesisWorks/hypothesis:masterfrom tybug:forced-primitivestybug/hypothesis:forced-primitivesCopy head branch name to clipboardDec 9, 2023

+427-88

Commits

Commits on Nov 24, 2023

• type IntervalSet more

  tybug

  committed
  c09018e

  Copy full SHA for c09018e

• implement forced for many

  tybug

  committed
  07115c7

  Copy full SHA for 07115c7

• implement forced for draw_string

  tybug

  committed
  ed42225

  Copy full SHA for ed42225

• add test for forced many

  tybug

  committed
  ae52218

  Copy full SHA for ae52218

Commits on Nov 25, 2023

• move forcing tests to separate file

  tybug

  committed
  e91ad95

  Copy full SHA for e91ad95

• linting

  tybug

  committed
  3ce6373

  Copy full SHA for 3ce6373

• implement forcing for Sampler

  tybug

  committed
  79a39d3

  Copy full SHA for 79a39d3

• linting

  tybug

  committed
  7e4b1d7

  Copy full SHA for 7e4b1d7

• implement forcing for draw_integer, except weights

  tybug

  committed
  2c8a41a

  Copy full SHA for 2c8a41a

• add test for string forcing

  tybug

  committed
  699d56a

  Copy full SHA for 699d56a

• fix index_from_char_in_shrink_order bug

  tybug

  committed
  1090d94

  Copy full SHA for 1090d94

• fix off by one error

  tybug

  committed
  95d76ca

  Copy full SHA for 95d76ca

• parameterize test by min_size, max_size

  tybug

  committed
  0c9d072

  Copy full SHA for 0c9d072

• use st.data instead of constructing ConjectureData

  tybug

  committed
  2eb8fc8

  Copy full SHA for 2eb8fc8

• simplify shrink_towards logic by clamping to start

  tybug

  committed
  44d824c

  Copy full SHA for 44d824c

• fix bug in Sampler forcing

  tybug

  committed
  3c385d1

  Copy full SHA for 3c385d1

• add support for forcing integer weights

  tybug

  committed
  4866f5e

  Copy full SHA for 4866f5e

• standardize forced test names

  tybug

  committed
  8e28786

  Copy full SHA for 8e28786

• add support for forcing bytes

  tybug

  committed
  16179e3

  Copy full SHA for 16179e3

Commits on Nov 26, 2023

• add support for forcing floats

  tybug

  committed
  ac232ea

  Copy full SHA for ac232ea

• add return typing for intervalsets

  tybug

  committed
  d36d285

  Copy full SHA for d36d285

• require equal size in forced draw_bytes

  tybug

  committed
  64edc2e

  Copy full SHA for 64edc2e

• add tests for written forced buffer

  tybug

  committed
  0f80e0e

  Copy full SHA for 0f80e0e

• allow forced nans

  tybug

  committed
  50bc3f7

  Copy full SHA for 50bc3f7

• revert draw_boolean change

  tybug

  committed
  ef5e449

  Copy full SHA for ef5e449

Commits on Nov 27, 2023

• add more info to asserts

  tybug

  committed
  0bdbedb

  Copy full SHA for 0bdbedb

• rewrite tests to be more efficient, add weighted integer test

  tybug

  committed
  efd477e

  Copy full SHA for efd477e

• linting

  tybug

  committed
  98b3d40

  Copy full SHA for 98b3d40

• split assertion to make ruff happy

  tybug

  committed
  43590b7

  Copy full SHA for 43590b7

Commits on Nov 30, 2023

• mark next() as no-branch due to coveragepy weirdness

  tybug

  committed
  a64d9b0

  Copy full SHA for a64d9b0

Commits on Dec 1, 2023

• dont discard in draw_boolean

  tybug

  committed
  9283da3

  Copy full SHA for 9283da3

• use draw_boolean insead of draw_bits in bounded_integer

  tybug

  committed
  9449820

  Copy full SHA for 9449820

Commits on Dec 2, 2023

• disallow out of bounds forced combinations

  tybug

  committed
  724ea85

  Copy full SHA for 724ea85

Commits on Dec 3, 2023

• more correct condition check

  tybug

  committed
  0aa30ee

  Copy full SHA for 0aa30ee

• increase max_examples for dtype bug

  tybug

  committed
  2014ccf

  Copy full SHA for 2014ccf

• suppress flaky too_slow health check

  tybug

  committed
  7ec7d8b

  Copy full SHA for 7ec7d8b

• add release notes

  tybug

  committed
  654dc02

  Copy full SHA for 654dc02

• increase budget again

  Show description for 5c9c4a6
  tybug

  committed
  5c9c4a6

  Copy full SHA for 5c9c4a6

• move assume to correct scope

  tybug

  committed
  f74b93f

  Copy full SHA for f74b93f

Commits on Dec 8, 2023

• formatting

  tybug

  committed
  cc77fb1

  Copy full SHA for cc77fb1

• simpler forced logic for floats

  tybug

  committed
  a52bf7e

  Copy full SHA for a52bf7e

• fix generating nans when not allowed

  tybug

  committed
  9a232f0

  Copy full SHA for 9a232f0

• fix lte sign comparison

  tybug

  committed
  d9cdfe2

  Copy full SHA for d9cdfe2

• simpler forced float draw

  tybug

  committed
  76c37eb

  Copy full SHA for 76c37eb

Commits on Dec 9, 2023

• Test forced-float edge cases

  Zac-HD

  committed
  738b6c2

  Copy full SHA for 738b6c2

• formatting

  tybug

  committed
  f52c198

  Copy full SHA for f52c198

• correct forced_sign_bit handling for nans

  tybug

  committed
  0f0ebcc

  Copy full SHA for 0f0ebcc