From 45c587c0c400fd91e5612935a1cec49bd67bac74 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 17 Jan 2023 17:04:39 +0100
Subject: [PATCH] [doc] Update following the changes in stdlib.
---
doc/mnist.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/mnist.rst b/doc/mnist.rst
index 8413bf9..6e08ace 100644
--- a/doc/mnist.rst
+++ b/doc/mnist.rst
@@ -86,13 +86,13 @@ the local robustness property:
.. code-block:: whyml
- predicate robust_at (m: model) (d: datum) (eps: t) =
+ predicate robust_at (m: model) (d: record) (eps: t) =
forall x': features.
let (x, _) = d in
linfty_distance x x' eps ->
predict m x = predict m x'
-Note that a ``datum`` is a dataset element given as a pair of *features* and
+Note that a ``record`` is a dataset element given as a pair of *features* and
(classification) *label*. Morever, ``linfty_distance`` is a predicate that
describes how two arrays of floating-point values (*i.e.* ``features``) are
considered close up-to a pertubation ``eps``, while ``predict`` is a function
--
GitLab