Skip to content

Conversation

@kostis
Copy link
Collaborator

@kostis kostis commented Oct 13, 2019

Once upon a time, PropEr was enhanced with a configure option to employ
sfmt-erlang as an alternative to the random generator module, which was
(back then) quite slow(er). Since then, Erlang/OTP has got support for
RNG in the form of the new rand module, which incorporates most (all?)
advantages that sfmt provides.

To simplify the code, support for sfmt-erlang is thereby discontinued.

It's not clear how used this configure option was in practice, anyway.

Once upon a time, PropEr was enhanced with a configure option to employ
sfmt-erlang as an alternative to the random generator module, which was
(back then) quite slow(er).  Since then, Erlang/OTP has got support for
RNG in the form of the new `rand` module, which incorporates most (all?)
advantages that sfmt provides.

To simplify the code, support for sfmt-erlang is thereby discontinued.

It's not clear how used this configure option was in practice, anyway.
@codecov-io
Copy link

codecov-io commented Oct 13, 2019

Codecov Report

Merging #207 into master will decrease coverage by 0.25%.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #207      +/-   ##
==========================================
- Coverage   82.68%   82.43%   -0.26%     
==========================================
  Files          13       13              
  Lines        3183     3183              
==========================================
- Hits         2632     2624       -8     
- Misses        551      559       +8
Impacted Files Coverage Δ
src/proper_gen.erl 85.64% <ø> (ø) ⬆️
src/proper_statem.erl 90.98% <0%> (-2.15%) ⬇️
src/proper_shrink.erl 95.21% <0%> (-0.54%) ⬇️
src/proper.erl 82.44% <0%> (-0.3%) ⬇️

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 bb058b6...6aede30. Read the comment docs.

@kostis kostis merged commit b2114d3 into master Oct 13, 2019
@kostis kostis deleted the remove-sfmt branch October 13, 2019 10:37
@fenollp fenollp mentioned this pull request Oct 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants