ExtraSpecTests: retry on failure

Author: katrinafyi

src/test/scala/SystemTests.scala

@@ -301,6 +301,12 @@ class SystemTestsGTIRB extends SystemTests {
 @test_util.tags.StandardSystemTest
 class ExtraSpecTests extends SystemTests {
 
+  override def customiseTestsByName(name: String) = super.customiseTestsByName(name).orElse {
+    name match {
+      case _ => Mode.Retry("timeout issues")
+    }
+  }
+
   // some of these tests have time out issues so they need more time, but some still time out even with this for unclear reasons
   val boogieFlags = Seq("/timeLimit:30", "/proverOpt:O:smt.array.extensional=false")
   runTests(