From f4f1d975043223b6a5fb512946f6d7c0e3ee791f Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Sun, 11 Sep 2022 13:45:06 +0200 Subject: Update platform definition --- esds/helpers/platform.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'esds/helpers') diff --git a/esds/helpers/platform.py b/esds/helpers/platform.py index e2f780d..341baed 100644 --- a/esds/helpers/platform.py +++ b/esds/helpers/platform.py @@ -51,6 +51,7 @@ class YAMLPlatformFile: "breakpoints_file": None, "breakpoints_callback": None, "debug": False, + "debug_file": "./esds.debug", "interferences": True, "node_count": 0, "implementations": [], @@ -188,6 +189,8 @@ class YAMLPlatformFile: if type(general["debug"]) != bool: self.parsing_error("debug should be on or off") self.default["debug"]=general["debug"] + if "debug_file" in general: + self.default["debug_file"]=general["debug"] if "interferences" in general: if type(general["interferences"]) != bool: self.parsing_error("interferences should be on or off") -- cgit v1.2.3