Update mem management when unfolding

Author: nicolasAmat

smpt/interfaces/unfold.py

@@ -66,8 +66,10 @@ def unfold(path_ptnet: str, timeout: Optional[int] = None) -> str:
     """
     new_filename = path_ptnet.replace('.pnml', '_unfolded')
 
+    environ["GOMEMLIMIT"] = "14GiB"
+
     try:
-        check_output('export GOMEMLIMIT="14000000KiB"; ulimit -Sv 14000000 ; mcc smpt -i {} -o {}'.format(path_ptnet, new_filename), timeout=timeout, stderr=DEVNULL, shell=True)
+        check_output('export GOMEMLIMIT="14000000KiB"; mcc smpt -i {} -o {}'.format(path_ptnet, new_filename), timeout=timeout, stderr=DEVNULL, shell=True)
     except (TimeoutExpired, CalledProcessError):
         return None