From f5c87f39f9b086acc97ca9d3795e09ed465a5007 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Wed, 11 Dec 2024 12:13:30 +0100 Subject: [PATCH] mark as classical --- test/run/top-bit.mo | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/run/top-bit.mo b/test/run/top-bit.mo index 0d405ffcc81..7981ea7a0db 100644 --- a/test/run/top-bit.mo +++ b/test/run/top-bit.mo @@ -1,3 +1,5 @@ +//CLASSICAL-PERSISTENCE-ONLY + var x : Nat32 = 4294967295; assert (x >> 31 != 0); assert (x & 2147483648 != 0);