search

proper-testing / proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang
http://proper-testing.github.io
GNU General Public License v3.0
879 stars 168 forks source link

Fix targeted shrinking in USERNF #233

Closed xspirus closed 4 years ago

xspirus commented 4 years ago

This commit fixes #221 and updates the way the targeted implementation shrinks its instances. PropEr now tries to find the best shrinker between the original generator and the neighborhood function.

Users can now also specify ?SHRINK macros in the neighborhood function, which will take precedence.

codecov-io commented 4 years ago

Codecov Report

Merging #233 into master will decrease coverage by 0.07%. The diff coverage is 92.30%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #233      +/-   ##
==========================================
- Coverage   82.97%   82.89%   -0.08%     
==========================================
  Files          13       13              
  Lines        3166     3163       -3     
==========================================
- Hits         2627     2622       -5     
- Misses        539      541       +2
Impacted Files Coverage Δ
src/proper_types.erl 91.77% <ø> (ø)
src/proper_target.erl 86.56% <88.23%> (-2.67%) :arrow_down:
src/proper_sa.erl 92.15% <91.66%> (+2.15%) :arrow_up:
src/proper.erl 84.25% <100.00%> (-0.38%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 6bfba33...edcfe43. Read the comment docs.