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/sca/test_structural.py | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'test/sca')

diff --git a/test/sca/test_structural.py b/test/sca/test_structural.py
index be1f45f..0587f7a 100644
--- a/test/sca/test_structural.py
+++ b/test/sca/test_structural.py
@@ -11,8 +11,18 @@ from pyecsca.ec.formula import (
 )
 from pyecsca.ec.model import ShortWeierstrassModel, MontgomeryModel, TwistedEdwardsModel
 from pyecsca.ec.params import get_params
-from pyecsca.sca.re.structural import formula_similarity, formula_similarity_fuzz
-import itertools
+from pyecsca.sca.re.structural import formula_similarity
+
+
+def test_formula_similarity(secp128r1):
+    add_bl = secp128r1.curve.coordinate_model.formulas["add-2007-bl"]
+    add_rcb = secp128r1.curve.coordinate_model.formulas["add-2015-rcb"]
+    out = formula_similarity(add_bl, add_rcb)
+    assert out["output"] == 0
+    assert out["ivs"] < 0.5
+    out_same = formula_similarity(add_bl, add_bl)
+    assert out_same["output"] == 1
+    assert out_same["ivs"] == 1
 
 
 @pytest.mark.parametrize(
-- 
cgit v1.2.3-70-g09d2