diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-06-29 14:45:49 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-06-29 14:45:49 +0200 |
| commit | 405b4e97a1302340e648b06cc8a1bb11e34db806 (patch) | |
| tree | b0b4d0a61389cdca13d1af9ff70fb20c24392bbc /passes | |
| parent | 0545a042f363efe1c1543d2b85269efe394c830f (diff) | |
| download | yosys-405b4e97a1302340e648b06cc8a1bb11e34db806.tar.gz yosys-405b4e97a1302340e648b06cc8a1bb11e34db806.tar.bz2 yosys-405b4e97a1302340e648b06cc8a1bb11e34db806.zip | |
Give error that options are exclusive
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/sat/expose.cc | 8 |
1 files changed, 6 insertions, 2 deletions
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; } |