diff --git a/src/test/scala/SystemTests.scala b/src/test/scala/SystemTests.scala
index 0fdab788a..20cdcaf25 100644
--- a/src/test/scala/SystemTests.scala
+++ b/src/test/scala/SystemTests.scala
@@ -47,7 +47,7 @@ class SystemTests extends AnyFunSuite {
       Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--output", outPath))
     }
     println(outPath)
-    val boogieResult = Seq("boogie", "/timeLimit:10", "/printVerifiedProceduresCount:0", outPath).!!
+    val boogieResult = Seq("boogie", "/timeLimit:10", "/printVerifiedProceduresCount:0", "/useArrayAxioms", outPath).!!
     val resultPath = variationPath + "_result.txt"
     log(boogieResult, resultPath)
     val verified = boogieResult.strip().equals("Boogie program verifier finished with 0 errors")