From ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 28 Sep 2015 15:50:06 +0200 Subject: 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) --- scripts/initialize.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'scripts/initialize.py') 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") -- cgit v1.2.3