summaryrefslogtreecommitdiff
path: root/lib/kconfig.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-09-18 10:04:19 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-09-18 10:04:19 +0200
commit1ed7a66d836977ae9689f59b6dc5fca0f4637587 (patch)
tree07495bf2076313240931fc831841fded032eec70 /lib/kconfig.py
parent1b79f8510362da33c09f6e2c18740dce2cd24e5c (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.py3
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: