fix(frontends): add default configuration for fhe modules

frontends/concrete-python/concrete/fhe/__init__.py

@@ -20,8 +20,10 @@
     DebugArtifacts,
     EncryptionStatus,
     Exactness,
+    FunctionDebugArtifacts,
     Keys,
     MinMaxStrategy,
+    ModuleDebugArtifacts,
     MultiParameterStrategy,
     MultivariateStrategy,
     ParameterSelectionStrategy,

frontends/concrete-python/concrete/fhe/compilation/module_compiler.py

@@ -459,7 +459,11 @@ class ModuleCompiler:
     compilation_context: CompilationContext
 
     def __init__(self, functions: List[FunctionDef]):
-        self.configuration = Configuration(composable=True)
+        self.default_configuration = Configuration(
+            p_error=0.00001,
+            composable=True,
+            parameter_selection_strategy="v0",
+        )
         self.functions = {function.name: function for function in functions}
         self.compilation_context = CompilationContext.new()
 
@@ -512,7 +516,7 @@ def compile(
             for name, function in self.functions.items():
                 inputset = inputsets[name] if inputsets is not None else None
                 function_artifacts = module_artifacts.functions[name]
-                function.evaluate("Compiling", inputset, self.configuration, function_artifacts)
+                function.evaluate("Compiling", inputset, configuration, function_artifacts)
                 assert function.graph is not None
                 dbg.debug_computation_graph(name, function.graph)
 
@@ -524,7 +528,7 @@ def compile(
                     error = "Expected graph to be set."
                     raise RuntimeError(error)
                 graphs[name] = function.graph
-            mlir_module = GraphConverter(self.configuration).convert_many(graphs, mlir_context)
+            mlir_module = GraphConverter(configuration).convert_many(graphs, mlir_context)
             mlir_str = str(mlir_module).strip()
             dbg.debug_mlir(mlir_str)
             module_artifacts.add_mlir_to_compile(mlir_str)
@@ -551,7 +555,7 @@ def compile(
             # if the user desires so,
             # we need to export all the information we have about the compilation
 
-            if self.configuration.dump_artifacts_on_unexpected_failures:
+            if configuration.dump_artifacts_on_unexpected_failures:
                 module_artifacts.export()
 
                 traceback_path = self.artifacts.output_directory.joinpath("traceback.txt")

frontends/concrete-python/tests/compilation/test_program.py

@@ -49,7 +49,7 @@ def mul(x, y):
     assert Module.mul(3, 4) == 12
 
 
-def test_compile(helpers):
+def test_compile():
     """
     Test that compiling a module works.
     """
@@ -65,19 +65,10 @@ def dec(x):
             return x - 1
 
     inputset = [np.random.randint(1, 20, size=()) for _ in range(100)]
-    configuration = helpers.configuration().fork(
-        p_error=0.1,
-        parameter_selection_strategy="v0",
-        composable=True,
-        verbose=True,
-    )
-    Module.compile(
-        {"inc": inputset, "dec": inputset},
-        configuration,
-    )
+    Module.compile({"inc": inputset, "dec": inputset}, verbose=True)
 
 
-def test_compiled_clear_call(helpers):
+def test_compiled_clear_call():
     """
     Test that cleartext execution works on compiled objects.
     """
@@ -93,21 +84,15 @@ def dec(x):
             return x - 1
 
     inputset = [np.random.randint(1, 20, size=()) for _ in range(100)]
-    configuration = helpers.configuration().fork(
-        p_error=0.1,
-        parameter_selection_strategy="v0",
-        composable=True,
-    )
     module = Module.compile(
         {"inc": inputset, "dec": inputset},
-        configuration,
     )
 
     assert module.inc(5) == 6
     assert module.dec(5) == 4
 
 
-def test_encrypted_execution(helpers):
+def test_encrypted_execution():
     """
     Test that encrypted execution works.
     """
@@ -123,14 +108,8 @@ def dec(x):
             return x - 1 % 20
 
     inputset = [np.random.randint(1, 20, size=()) for _ in range(100)]
-    configuration = helpers.configuration().fork(
-        p_error=0.1,
-        parameter_selection_strategy="v0",
-        composable=True,
-    )
     module = Module.compile(
         {"inc": inputset, "dec": inputset},
-        configuration,
     )
 
     x = 5