From e31c00bde0f7917023c2863a7ad6d57ef6491af7 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Fri, 1 Apr 2022 17:45:54 +0200
Subject: [PATCH] [aimos] Make CAISAR detect AIMOS.

---
 config/caisar-detection-data.conf | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index 5caee9b..066a01b 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -107,3 +107,13 @@ version_ok = "v1.0"
 command = "%e %{svm} %{dataset} %{abstraction} %{distance} %{epsilon}"
 driver = "caisar_drivers/saver.drv"
 use_at_auto_level = 1
+
+[ATP aimos]
+name = "AIMOS"
+exec = "aimos"
+version_switch = "--version"
+version_regexp = "AIMOS \\([0-9.]+\\)"
+version_ok  = "1.0"
+command = "%e --config %{aimos_file} --no-verbose"
+driver = "caisar_drivers/aimos.drv"
+use_at_auto_level = 1
-- 
GitLab