fix bug

viperproject · Nov 15, 2024 · 3778e43 · 3778e43
1 parent fe1daa8
commit 3778e43
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 - 1)
-    override lazy val lower: BigInt = BigInt(-pow(2, nbits-1).toLong)
+    override lazy val upper: BigInt = BigInt(pow(2, nbits-1).toLong)
+    override lazy val lower: BigInt = BigInt(-pow(2, nbits-1).toLong-1)
   }
 
   sealed trait Unsigned extends BoundedIntegerKind {