fix

viperproject · Nov 16, 2024 · 3f832e2 · 3f832e2
1 parent 3778e43
commit 3f832e2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/scala/viper/gobra/util/TypeBounds.scala b/src/main/scala/viper/gobra/util/TypeBounds.scala
@@ -43,8 +43,8 @@ object TypeBounds {
   }
 
   sealed trait Signed extends BoundedIntegerKind {
-    override lazy val upper: BigInt = BigInt(pow(2, nbits-1).toLong)
-    override lazy val lower: BigInt = BigInt(-pow(2, nbits-1).toLong-1)
+    override lazy val upper: BigInt = BigInt(2).pow(nbits-1) - 1
+    override lazy val lower: BigInt = -BigInt(2).pow(nbits-1)
   }
 
   sealed trait Unsigned extends BoundedIntegerKind {