From 69af78fda647adb0cca1742abb7602a9c46e3bd9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me=20Allart?= <come.allart@thalesgroup.com>
Date: Tue, 10 Oct 2023 09:53:18 +0200
Subject: [PATCH] =?UTF-8?q?widen=20area=20validity=20window=20to=20=C2=B15?=
 =?UTF-8?q?00=20gates?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitlab-ci/scripts/report_synth.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci/scripts/report_synth.py b/.gitlab-ci/scripts/report_synth.py
index 5f31bce46b..7917dc309b 100644
--- a/.gitlab-ci/scripts/report_synth.py
+++ b/.gitlab-ci/scripts/report_synth.py
@@ -65,7 +65,7 @@
     target = match.group(1)
     if target in expected:
         diff = gates - expected[target]['gates']
-        if abs(diff) >= 300:
+        if abs(diff) >= 500:
             result_metric.fail()
     else:
         raise Exception(f"unexpected target: {target}")