aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJ08nY2023-12-05 16:34:57 +0100
committerJ08nY2023-12-05 16:34:57 +0100
commit09a265a8f541334619c105844b1380d8f956537b (patch)
treeeb3d6cfb664dc63a629669793241b18e5878fae9
parent56698c31e52f4fac193fc0b095af06938ab8baae (diff)
downloadpyecsca-09a265a8f541334619c105844b1380d8f956537b.tar.gz
pyecsca-09a265a8f541334619c105844b1380d8f956537b.tar.zst
pyecsca-09a265a8f541334619c105844b1380d8f956537b.zip
Add default partition test.
-rw-r--r--test/ec/test_formula.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/ec/test_formula.py b/test/ec/test_formula.py
index 853b47b..8ee013e 100644
--- a/test/ec/test_formula.py
+++ b/test/ec/test_formula.py
@@ -411,6 +411,13 @@ def test_fliparood_formula(library_formula_params):
do_test_formula(fliparood, params)
+def test_partition_formula_single(library_formula_params):
+ formula, params = library_formula_params
+ try:
+ next(iter(generate_partitioned_formulas(formula)))
+ except StopIteration:
+ pass
+
@pytest.mark.slow
def test_partition_formula(library_formula_params):
formula, params = library_formula_params