diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:50:06 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:59:32 +0200 |
| commit | ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281 (patch) | |
| tree | 19edcd256a967d483906669df959a1d868385591 | |
| parent | 8cbd482ff0bf58594df2f339b57f22c836494929 (diff) | |
| download | linux-conf-perf-master.tar.gz linux-conf-perf-master.tar.bz2 linux-conf-perf-master.zip | |
When initialization is executed and measurability checked, only output
was that some configuration option can't be measured. This adds message
about why. (If it can't be selected or otherwise can't be unselected)
| -rwxr-xr-x | scripts/initialize.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/initialize.py b/scripts/initialize.py index 64f9f2b..877aeba 100755 --- a/scripts/initialize.py +++ b/scripts/initialize.py @@ -118,9 +118,12 @@ def checkmeasure(): sf(conf.fixed_file)), [str(-1 * measure)]) try: configurations.__exec_sat__(tfile1, [], conf_num) + except exceptions.NoSolution: + print("W: " + utils.smap[measure] + " won't be measured! Can't select.") + try: configurations.__exec_sat__(tfile2, [], conf_num) except exceptions.NoSolution: - print("W: " + utils.smap[measure] + " won't be measured!") + print("W: " + utils.smap[measure] + " won't be measured! Can't unselect.") with open(sf(conf.measurechecked_file), 'w') as f: f.write("Remove this file if you wanna execute check if all configurations can be measured once again.\n") |