1 files changed, 27 insertions, 0 deletions
diff --git a/tests/extmod/random_seed_default.py b/tests/extmod/random_seed_default.py
new file mode 100644
index 000000000..2fb16282c
--- /dev/null
+++ b/tests/extmod/random_seed_default.py
@@ -0,0 +1,27 @@
+# test random.seed() without any arguments
+
+try:
+    import random
+except ImportError:
+    print("SKIP")
+    raise SystemExit
+
+try:
+    random.seed()
+except ValueError:
+    # no default seed on this platform
+    print("SKIP")
+    raise SystemExit
+
+
+def rng_seq():
+    return [random.getrandbits(16) for _ in range(10)]
+
+
+# seed with default and check that doesn't produce the same RNG sequence
+random.seed()
+seq = rng_seq()
+random.seed()
+print(seq == rng_seq())
+random.seed(None)
+print(seq == rng_seq())