Replace boost::random with std::random
Issue/feature addressed
Post c++17 transition, this MR replaces boost::random
, used only within Interpreter.cpp
with std::random
.
Proposed solution
See above
Implementation
See above
Tests
Suggested reviewers
Notes
Checklist
[ ] Functions and classes, or changes to them, are documented.[ ] User guide/documentation is updated.-
Changelog is updated. [ ] Suitable tests added for new functionality.-
Contributed code is correctly formatted. (See the contributing guidelines). [ ] License added to any new files.-
No extraneous files have been added (e.g. compiler output or test data files).
Edited by Dave Moxey