From 396a9a42da1859b8b649d4412b54979b207213f6 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 7 Jul 2022 12:02:50 +0200
Subject: [PATCH] [Aorai] ltl tests are enabled if %{bin-available:ltl2ba}
---
src/plugins/aorai/tests/ltl/test_config | 2 ++
src/plugins/aorai/tests/ltl/test_config_prove | 2 ++
2 files changed, 4 insertions(+)
create mode 100644 src/plugins/aorai/tests/ltl/test_config
create mode 100644 src/plugins/aorai/tests/ltl/test_config_prove
diff --git a/src/plugins/aorai/tests/ltl/test_config b/src/plugins/aorai/tests/ltl/test_config
new file mode 100644
index 00000000000..96c1d0d716a
--- /dev/null
+++ b/src/plugins/aorai/tests/ltl/test_config
@@ -0,0 +1,2 @@
+ENABLED_IF: %{bin-available:ltl2ba}
+STDOPT:
diff --git a/src/plugins/aorai/tests/ltl/test_config_prove b/src/plugins/aorai/tests/ltl/test_config_prove
new file mode 100644
index 00000000000..96c1d0d716a
--- /dev/null
+++ b/src/plugins/aorai/tests/ltl/test_config_prove
@@ -0,0 +1,2 @@
+ENABLED_IF: %{bin-available:ltl2ba}
+STDOPT:
--
GitLab