diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-11 13:45:06 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-11 13:45:06 +0200 |
| commit | f4f1d975043223b6a5fb512946f6d7c0e3ee791f (patch) | |
| tree | 27bdc9fb591f1ae03cb44c9d2c43885d391518ab /esds/helpers | |
| parent | d11a867b3ca46287b9b62356fc25836b7f19b757 (diff) | |
Update platform definition
Diffstat (limited to 'esds/helpers')
| -rw-r--r-- | esds/helpers/platform.py | 3 |
1 files changed, 3 insertions, 0 deletions
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") |