Skip to content
Snippets Groups Projects
Commit e02a9908 authored by Aymeric Varasse's avatar Aymeric Varasse :innocent:
Browse files

[records] Update example property for AIMOS

parent 1d425bf1
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment