diff options
author | Marko Kreen | 2013-08-24 15:51:12 +0000 |
---|---|---|
committer | Marko Kreen | 2013-08-24 15:51:12 +0000 |
commit | 9aaf52a39acb111fe16f20da89a30abd015cc85d (patch) | |
tree | e92a4f9670a9adb4245ec0d7f9433369313a8507 /src/execute.c | |
parent | 294e9a5fefb618b018e47b6b48d00593e0ed735a (diff) |
Use setseed() in RUN ON ANY regtest.
Without it, the test can fail occasionally.
Reported by Peter Eisentraut.
Diffstat (limited to 'src/execute.c')
0 files changed, 0 insertions, 0 deletions