Skip to content

Commit

Permalink
mark as classical
Browse files Browse the repository at this point in the history
  • Loading branch information
ggreif committed Dec 11, 2024
1 parent 065a14a commit f5c87f3
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions test/run/top-bit.mo
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
//CLASSICAL-PERSISTENCE-ONLY

var x : Nat32 = 4294967295;
assert (x >> 31 != 0);
assert (x & 2147483648 != 0);
Expand Down

0 comments on commit f5c87f3

Please sign in to comment.