diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 15:45:51 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 15:45:51 -0700 |
| commit | 6a0fb3035ebe7d096a22b13a2fb90de891d6ffe5 (patch) | |
| tree | b406d11f5c62160fab33198ab9dd55e31bfb105e | |
| parent | 3cf2afc2802e32288b2f83da6ebe4b4fbfa8e013 (diff) | |
| download | yosys-6a0fb3035ebe7d096a22b13a2fb90de891d6ffe5.tar.gz yosys-6a0fb3035ebe7d096a22b13a2fb90de891d6ffe5.tar.bz2 yosys-6a0fb3035ebe7d096a22b13a2fb90de891d6ffe5.zip | |
Replace assert with error message
| -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 637c54ff9..110d727de 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()) { |