From ddf99fe01eaefb0b6f838f8111287141a946be88 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 4 Sep 2021 16:24:38 -0400 Subject: =?UTF-8?q?Specify=20that=20=E2=80=A2rand=20is=20randomly=20initia?= =?UTF-8?q?lized=20if=20possible?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/system.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec') diff --git a/spec/system.md b/spec/system.md index 81802c83..b62db9e5 100644 --- a/spec/system.md +++ b/spec/system.md @@ -210,7 +210,7 @@ More accurately the modifier `ā€¢_maxTime_` *may* fail if execution of `š¯”½` ta ## Random generation -`ā€¢MakeRand` initializes a deterministic pseudorandom number generator with seed value `š¯•©`. `ā€¢rand`, if it exists, is a globally accessible generator initialized at first use. A random generator has the following member functions: +`ā€¢MakeRand` initializes a deterministic pseudorandom number generator with seed value `š¯•©`. `ā€¢rand`, if it exists, is a globally accessible generator initialized at first use; this initialization should use randomness from an outside source if available. A random generator has the following member functions: | Name | Summary |-----------|------------------------------ -- cgit v1.2.3