From ba393243da61036692b95b4a43bf80afff4f8057 Mon Sep 17 00:00:00 2001
From: Alexander Senier <senier@adacore.com>
Date: Mon, 2 Dec 2024 14:44:42 +0000
Subject: [PATCH] Further increase feature test proof timeout

Ref. None
---
 tests/feature/fsm_comprehension_on_message_field/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/feature/fsm_comprehension_on_message_field/config.yml b/tests/feature/fsm_comprehension_on_message_field/config.yml
index bb56acb28..47aaa29ce 100644
--- a/tests/feature/fsm_comprehension_on_message_field/config.yml
+++ b/tests/feature/fsm_comprehension_on_message_field/config.yml
@@ -10,4 +10,4 @@ sequence: |
   Read Channel: 4 0 2 1 1
   State: Reply
 proof:
-  timeout: 180
+  timeout: 240