diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 15:45:51 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 17:18:04 -0700 |
| commit | fddb027cabedff92441b912a6cc472650aa9f74d (patch) | |
| tree | 3789d06406a345ce289933e13307c69565a95de2 /backends | |
| parent | 7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185 (diff) | |
| download | yosys-fddb027cabedff92441b912a6cc472650aa9f74d.tar.gz yosys-fddb027cabedff92441b912a6cc472650aa9f74d.tar.bz2 yosys-fddb027cabedff92441b912a6cc472650aa9f74d.zip | |
Replace assert with error message
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 2070cae8f..23132f108 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -244,7 +244,8 @@ struct XAigerWriter if (c.second.is_fully_const()) continue; auto is_input = cell->input(c.first); auto is_output = cell->output(c.first); - log_assert(is_input || is_output); + if (!is_input && !is_output) + log_error("Connection '%s' on cell '%s' (type '%s') not recognised!\n", log_id(c.first), log_id(cell), log_id(cell->type)); if (is_input) { for (auto b : c.second.bits()) { |