explain better what is non-deterministic here

RalfJung · RalfJung · commit 758d88bbf96c · 2019-07-24T08:57:05.000+02:00
diff --git a/tests/run-pass/bitop-beyond-alignment.rs b/tests/run-pass/bitop-beyond-alignment.rs
@@ -33,5 +33,5 @@ fn is_u64_aligned(u: &Tag<u64>) -> bool {
 
 pub fn main() {
     let x = mk_rec();
-    is_u64_aligned(&x.t); // the result of this is non-deterministic
+    is_u64_aligned(&x.t); // the result of this is non-deterministic (even with a fixed seed, results vary between platforms)
 }

Original file line number	Diff line number	Diff line change
`@@ -33,5 +33,5 @@ fn is_u64_aligned(u: &Tag<u64>) -> bool {`
`33`	`33`
`34`	`34`	`pub fn main() {`
`35`	`35`	`let x = mk_rec();`
`36`		`- is_u64_aligned(&x.t); // the result of this is non-deterministic`
	`36`	`+ is_u64_aligned(&x.t); // the result of this is non-deterministic (even with a fixed seed, results vary between platforms)`
`37`	`37`	`}`