From 52132cfe6e334fbb590a700dfd0af878333047e7 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 6 Jul 2022 17:10:12 +0200
Subject: [PATCH] [Aorai] enables ltl test suite

---
 src/plugins/aorai/tests/ptests_config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/aorai/tests/ptests_config b/src/plugins/aorai/tests/ptests_config
index 34b21cc6188..7fc044169e3 100644
--- a/src/plugins/aorai/tests/ptests_config
+++ b/src/plugins/aorai/tests/ptests_config
@@ -1,2 +1,2 @@
-DEFAULT_SUITES= ya
-prove_SUITES= ya
+DEFAULT_SUITES= ya ltl
+prove_SUITES= ya ltl
-- 
GitLab