From ad618797cdca7843db597d05e5ef13a401807a74 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Thu, 16 Nov 2023 14:37:13 +0100
Subject: Add to_model randomized mapping.

---
 test/data/formulas/add-openssl-z256.op3  | 2 +-
 test/data/formulas/add-sunec-v21-ed25519 | 2 +-
 test/data/formulas/dbl-sunec-v21-ed25519 | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'test/data')

diff --git a/test/data/formulas/add-openssl-z256.op3 b/test/data/formulas/add-openssl-z256.op3
index bc0ccfc..3819546 100644
--- a/test/data/formulas/add-openssl-z256.op3
+++ b/test/data/formulas/add-openssl-z256.op3
@@ -11,7 +11,7 @@ H = U2 - U1
 Rsqr = R^2
 Z3 = H * Z1
 Hsqr = H^2
-Z3 = H * Z2
+Z3 = Z3 * Z2
 Hcub = Hsqr * H
 U2 = U1 * Hsqr
 Hsqr = 2 * U2
diff --git a/test/data/formulas/add-sunec-v21-ed25519 b/test/data/formulas/add-sunec-v21-ed25519
index 078aa39..5814455 100644
--- a/test/data/formulas/add-sunec-v21-ed25519
+++ b/test/data/formulas/add-sunec-v21-ed25519
@@ -1,2 +1,2 @@
 source Java JDK 21 https://github.com/openjdk/jdk/blob/jdk-21-ga/src/jdk.crypto.ec/share/classes/sun/security/ec/ed/Ed25519Operations.java#L147
-coords extended
+coords extended-1
diff --git a/test/data/formulas/dbl-sunec-v21-ed25519 b/test/data/formulas/dbl-sunec-v21-ed25519
index 6814542..f20095f 100644
--- a/test/data/formulas/dbl-sunec-v21-ed25519
+++ b/test/data/formulas/dbl-sunec-v21-ed25519
@@ -1,2 +1,2 @@
 source Java JDK 21 https://github.com/openjdk/jdk/blob/jdk-21-ga/src/jdk.crypto.ec/share/classes/sun/security/ec/ed/Ed25519Operations.java#L184
-coords extended
+coords extended-1
-- 
cgit v1.2.3-70-g09d2