Merge pull request #366 from UQ-PAC/dsa-tests-fix

change constants to be recognized as globals

Author: sadrabt

src/test/scala/IntervalDSATest.scala

@@ -83,8 +83,8 @@ class IntervalDSATest extends AnyFunSuite {
     val V0 = Register("V0", 64)
     val xAddress = BitVecLiteral(2000, 64)
     val yAddress = BitVecLiteral(3000, 64)
-    val xPointer = BitVecLiteral(1000, 64)
-    val yPointer = BitVecLiteral(1008, 64)
+    val xPointer = BitVecLiteral(1010, 64)
+    val yPointer = BitVecLiteral(1018, 64)
     val globalOffsets = Map(xPointer.value -> xAddress.value, yPointer.value -> yAddress.value)
     val x = SpecGlobal("x", 64, None, xAddress.value)
     val y = SpecGlobal("y", 64, None, yAddress.value)