From d58251de7a0f5d1886e0e8e75bd9c1e3d13b8ee0 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Mon, 22 Apr 2024 12:45:33 +0200
Subject: [PATCH] [exps] Add arithmetic alternative to PyRAT config
---
config/caisar-detection-data.conf | 12 ++++++++++++
tests/autodetect.t | 1 +
2 files changed, 13 insertions(+)
diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index 775ab20..daa570a 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -110,6 +110,18 @@ command = "%e -mp %{nnet-onnx} -pp %f --timeout %t --domain zono --split --score
driver = "%{config}/drivers/pyrat.drv"
use_at_auto_level = 1
+[ATP pyrat-arithmetic]
+name = "PyRAT"
+alternative = "arithmetic"
+exec = "pyrat.py"
+exec = "pyrat"
+version_switch = "--version"
+version_regexp = "PyRAT \\([0-9.]+\\)"
+version_ok = "1.1"
+command = "%e -mp %{nnet-onnx} -pp %f --timeout %t --domain poly --domain zono --split --scorer coef --initial --allow_smaller_size --booster always"
+driver = "%{config}/drivers/pyrat.drv"
+use_at_auto_level = 1
+
[ATP nnenum]
name = "nnenum"
exec = "nnenum.sh"
diff --git a/tests/autodetect.t b/tests/autodetect.t
index aa34864..eadc074 100644
--- a/tests/autodetect.t
+++ b/tests/autodetect.t
@@ -43,6 +43,7 @@ Test autodetect
PyRAT 1.1 (ACAS)
PyRAT 1.1 (ACASd)
PyRAT 1.1 (VNNLIB)
+ PyRAT 1.1 (arithmetic)
SAVer v1.0
alpha-beta-CROWN dummy-version
alpha-beta-CROWN dummy-version (ACAS)
--
GitLab