diff options
-rw-r--r-- | 067random.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/067random.cc b/067random.cc index ca02e01a..42a48867 100644 --- a/067random.cc +++ b/067random.cc @@ -28,3 +28,7 @@ case MAKE_RANDOM_NONDETERMINISTIC: { srand(time(NULL)); break; } + +// undo non-determinism in later tests +:(before "End Setup") +srand(0); |