diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-18 10:04:19 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-18 10:04:19 +0200 |
commit | 1ed7a66d836977ae9689f59b6dc5fca0f4637587 (patch) | |
tree | 07495bf2076313240931fc831841fded032eec70 /lib/kconfig.py | |
parent | 1b79f8510362da33c09f6e2c18740dce2cd24e5c (diff) |
explore-kconfig: explore neighbourhood of working random configurations
This is useful for projects with many non-working random configurations
Diffstat (limited to 'lib/kconfig.py')
-rw-r--r-- | lib/kconfig.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/kconfig.py b/lib/kconfig.py index 52615e3..a85586f 100644 --- a/lib/kconfig.py +++ b/lib/kconfig.py @@ -2,6 +2,7 @@ import kconfiglib import logging +import os import re import shutil import subprocess @@ -146,6 +147,8 @@ class KConfig: self.attribute_command, ] ) + success = os.path.exists(experiment.attributes.path) + return {"success": success, "config_path": experiment.config.path} def config_is_functional(self, kconf): for choice in kconf.choices: |