fix non-deterministic test

RalfJung · RalfJung · commit 85be8ab8ebaf · 2019-07-23T23:48:28.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();
-    assert!(is_u64_aligned(&x.t));
+    is_u64_aligned(&x.t); // the result of this is non-deterministic
 }

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`		`- assert!(is_u64_aligned(&x.t));`
	`36`	`+ is_u64_aligned(&x.t); // the result of this is non-deterministic`
`37`	`37`	`}`