* */
| 51 | * |
| 52 | */ |
| 53 | DefaultRndNumGenerator::DefaultRndNumGenerator(const unsigned long, Sequence *concrete_seq) |
| 54 | : rand_depth_(0), |
| 55 | trace_string_(""), |
| 56 | seq_(concrete_seq) |
| 57 | { |
| 58 | //Nothing to do |
| 59 | } |
| 60 | |
| 61 | /* |
| 62 | * |
nothing calls this directly
no outgoing calls
no test coverage detected