* @brief Returns a random number between [0,1] * @returns A uniformly distributed random number between 0 (included) and 1 * (included) */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected