tree af9a05bf3cc7bc78a849f2ea095c0b89e52c1abb
parent ec475a7da577e27c8f930b344112b7b758a81791
author Davide Pesavento <davidepesa@gmail.com> 1547243090 -0500
committer Alex Afanasyev <aa@cs.fiu.edu> 1547431713 -0800

util: add random::getRandomNumberEngine() to the public API

Change-Id: I03d572e3c51a7256f53060e66c9eae0d1ab84c65