From: Neal D. Becker (nbecker_at_[hidden])
Date: 2003-05-21 06:43:02
Sorry for the stupid question, but I can't seem to find where the
implementation of nondet_random is. I found the header nondet_random.hpp,
but this only gives the declaration.