From 481f567792d05e6a4e09121a7358252b11706ee8 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Mon, 26 Aug 2024 15:38:58 +0200
Subject: Add parallel version of formula expansion.

---
 test/ec/test_formula.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'test/ec')

diff --git a/test/ec/test_formula.py b/test/ec/test_formula.py
index e5fce6e..c0350cb 100644
--- a/test/ec/test_formula.py
+++ b/test/ec/test_formula.py
@@ -6,7 +6,7 @@ import pytest
 from sympy import FF, symbols
 from importlib_resources import files, as_file
 import pyecsca.ec
-from pyecsca.ec.formula.expand import expand_formula_set
+from pyecsca.ec.formula.expand import expand_formula_set, expand_formula_set_parallel
 from pyecsca.ec.formula.fliparoo import generate_fliparood_formulas
 from pyecsca.ec.formula.graph import rename_ivs
 from pyecsca.ec.formula.metrics import (
@@ -543,3 +543,10 @@ def test_formula_correctness(library_formula_params):
 def test_formula_expand(add):
     res = expand_formula_set({add})
     assert len(res) > 1
+
+
+def test_formula_expand_parallel(add):
+    res = expand_formula_set_parallel({add})
+    assert len(res) > 1
+    other = expand_formula_set({add})
+    assert res == other
-- 
cgit v1.2.3-70-g09d2