diff --git a/.gitlab-ci/expected_synth.yml b/.gitlab-ci/expected_synth.yml index 3e810c09d..c37f7c3d9 100644 --- a/.gitlab-ci/expected_synth.yml +++ b/.gitlab-ci/expected_synth.yml @@ -1,2 +1,2 @@ cv32a6_embedded: - gates: 128552 + gates: 129232 diff --git a/.gitlab-ci/scripts/report_synth.py b/.gitlab-ci/scripts/report_synth.py index 5f31bce46..7917dc309 100644 --- a/.gitlab-ci/scripts/report_synth.py +++ b/.gitlab-ci/scripts/report_synth.py @@ -65,7 +65,7 @@ if match: 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}")