proper-testing / proper

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

Refactor tests to improve CI performance #250

Closed xspirus closed 4 years ago

xspirus commented 4 years ago

This commit moves the testing of the examples to a separate directory, so that the testing of these is only performed on the latest OTP release.

codecov-io commented 4 years ago

Codecov Report

Merging #250 into master will decrease coverage by 4.07%. The diff coverage is 23.76%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #250      +/-   ##
==========================================
- Coverage   86.18%   82.11%   -4.08%     
==========================================
  Files          13       13              
  Lines        3135     3332     +197     
==========================================
+ Hits         2702     2736      +34     
- Misses        433      596     +163     
Impacted Files Coverage Δ
src/proper_fsm.erl 48.73% <0.00%> (-46.35%) :arrow_down:
src/proper_statem.erl 65.86% <0.00%> (-28.52%) :arrow_down:
src/proper_types.erl 94.44% <ø> (-0.33%) :arrow_down:
src/proper_target.erl 83.72% <69.23%> (-6.61%) :arrow_down:
src/proper.erl 87.59% <85.71%> (+0.88%) :arrow_up:
src/proper_gen_next.erl 77.35% <100.00%> (+0.01%) :arrow_up:
src/proper_sa.erl 92.15% <100.00%> (+1.96%) :arrow_up:
src/proper_shrink.erl 95.21% <0.00%> (-0.54%) :arrow_down:
... and 3 more

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 aa7c349...b98819d. Read the comment docs.