mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Give error that options are exclusive

Browse source
This commit is contained in:
Miodrag Milanovic 2020-06-29 14:45:49 +02:00
parent 0545a042f3
commit 405b4e97a1
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
passes/sat/expose.cc
View file

@ -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;
}