From f7135290a99fb0d3834c98d602cecafdaca52e9d Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Fri, 29 Sep 2023 16:43:10 +0200
Subject: [PATCH] [records] Update test for AIMOS
---
tests/aimos.t | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tests/aimos.t b/tests/aimos.t
index 0e37f12..988acb2 100644
--- a/tests/aimos.t
+++ b/tests/aimos.t
@@ -16,8 +16,9 @@ Test verify
> use ieee_float.Float64
> use caisar.DatasetClassification
> use caisar.DatasetClassificationProps
+ > use option.Option
>
- > goal G: meta_robust model dataset (1.0:t) ("reluplex_rotation":string) ("config/custom_transformations.py":string) ("classif_min":string) (0:int) (0:int) (0:int)
+ > goal G: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
> end
> EOF
Goal G: Valid
--
GitLab