Add explicit tmp file

flamapy/metamodels/bdd_metamodel/models/bdd_model.py

@@ -3,6 +3,7 @@
 import stat
 import subprocess
 import locale
+import logging
 from platform import system 
 from pathlib import Path
 from typing import Any
@@ -112,6 +113,7 @@ def run(self, binary: str, *args: Any) -> Any:
     @staticmethod
     def check_file_existence(filename: str, extension: str = '') -> str:
         """Private auxiliary function that verifies if the input file exists."""
+        logging.info(f'Checking the existence of the file "{filename}"...')
         if not os.path.isfile(filename) and extension:
             filename = filename + '.' + extension
             if not os.path.isfile(filename):

flamapy/metamodels/bdd_metamodel/transformations/fm_to_bdd.py

@@ -6,6 +6,9 @@
 from flamapy.metamodels.bdd_metamodel.transformations import SPLOTReader, SPLOTWriter
 
 
+tempfile.tempdir = '/tmp'
+
+
 class FmToBDD(ModelToModel):
 
     @staticmethod