From 7b1135304f3ebeec32eb9739f43ff0a21fbf3d68 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 1 Oct 2024 10:49:10 +0200
Subject: [PATCH] [tests] Turn off acsl_extension_from alert from test

---
 tests/spec/Extend_errors.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/spec/Extend_errors.ml b/tests/spec/Extend_errors.ml
index 5e747ae035..39ad27efbc 100644
--- a/tests/spec/Extend_errors.ml
+++ b/tests/spec/Extend_errors.ml
@@ -34,6 +34,7 @@ let catch msg f x =
 let cover_errors () =
   catch "User Error" Logic_env.extension_from "foo";
   catch "Unsupported" (Logic_env.preprocess_extension ~plugin:"myplugin1") "bar"
+[@@alert "-acsl_extension_from"]
 
 let cover_warnings () =
   Acsl_extension.register_behavior ~plugin:"myplugin1" "foo" type_foo false;
-- 
GitLab