Add information why option can't be measured

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)

diff --git a/scripts/initialize.py b/scripts/initialize.py
index 64f9f2b546581941644153e42b5284e47faee980..877aeba100c634d2bf3162acbe8f07fa1d47e4cf 100755 (executable)
--- 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")