Commit 198418ba5e4b24da61d22cfd9d1ce81a1f286dff

Daniel Mendler 2019-05-14T20:39:33

bugfix: don't revert to platform rand source, but to jenkins source!

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/demo/test.c b/demo/test.c
index 4e5339e..5ffc908 100644
--- a/demo/test.c
+++ b/demo/test.c
@@ -129,7 +129,7 @@ static int test_mp_rand(void)
          break;
       }
    }
-   mp_rand_source(NULL);
+   mp_rand_source(s_mp_rand_jenkins);
    mp_clear_multi(&a, &b, NULL);
    return err == MP_OKAY ? EXIT_SUCCESS : EXIT_FAILURE;
 }