Review Board 2.0.15


ruby: remove random seed

Review Request #3007 - Created Aug. 9, 2015 and submitted

Information
Nilay Vaish
gem5
default
Reviewers
Default
Changeset 11039:a692042b6e6c
---------------------------
ruby: remove random seed

We no longer use the C library based random number generator: random().
Instead we use the C++ library provided rng.  So setting the random seed for
the RubySystem class has no effect.  Hence the variable and the corresponding
option are being dropped.

   
Review request changed
Updated (Aug. 14, 2015, 6 p.m.)

Status: Closed (submitted)