From e02a9908d172e94af2ef97d33627f1d480a5b6a4 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Fri, 29 Sep 2023 16:42:45 +0200
Subject: [PATCH] [records] Update example property for AIMOS
---
examples/acasxu/property_5_aimos.why | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/examples/acasxu/property_5_aimos.why b/examples/acasxu/property_5_aimos.why
index e653e16..d0ca6f9 100644
--- a/examples/acasxu/property_5_aimos.why
+++ b/examples/acasxu/property_5_aimos.why
@@ -3,6 +3,7 @@ theory ACASXU_P5
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
--
GitLab