From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 29 Jun 2020 12:45:49 +0000 (+0200)
Subject: Give error that options are exclusive
X-Git-Tag: working-ls180~441^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=405b4e97a1302340e648b06cc8a1bb11e34db806;p=yosys.git

Give error that options are exclusive
---

diff --git a/passes/sat/expose.cc b/passes/sat/expose.cc
index 20b8536fc..2c65821cf 100644
--- a/passes/sat/expose.cc
+++ b/passes/sat/expose.cc
@@ -281,11 +281,15 @@ struct ExposePass : public Pass {
 				flag_dff = true;
 				continue;
 			}
-			if (args[argidx] == "-cut" && !flag_input) {
+			if (args[argidx] == "-cut") {
+				if (flag_input)
+					log_cmd_error("Options -cut and -input are mutually exclusive.\n");
 				flag_cut = true;
 				continue;
 			}
-			if (args[argidx] == "-input" && !flag_cut) {
+			if (args[argidx] == "-input") {
+				if (flag_cut)
+					log_cmd_error("Options -cut and -input are mutually exclusive.\n");
 				flag_input = true;
 				continue;
 			}