diff options
| author | Stefan Biereigel <stefan@biereigel.de> | 2019-05-27 19:07:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-27 19:07:46 +0200 |
| commit | 816082d5a11e758b6ff68a2dc442fc2519356669 (patch) | |
| tree | 6b32d20e36c18af97076ca77f0c7d36fd7b25d53 /backends/btor | |
| parent | f68b658b4b88b9a71377d19d7d693f07eccf433e (diff) | |
| parent | 92dde319fc603223304a64a5a49bbbe6c1ec3045 (diff) | |
| download | yosys-816082d5a11e758b6ff68a2dc442fc2519356669.tar.gz yosys-816082d5a11e758b6ff68a2dc442fc2519356669.tar.bz2 yosys-816082d5a11e758b6ff68a2dc442fc2519356669.zip | |
Merge branch 'master' into wandwor
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 91f238fa5..511a11942 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -129,7 +129,13 @@ struct BtorWorker void export_cell(Cell *cell) { - log_assert(cell_recursion_guard.count(cell) == 0); + if (cell_recursion_guard.count(cell)) { + string cell_list; + for (auto c : cell_recursion_guard) + cell_list += stringf("\n %s", log_id(c)); + log_error("Found topological loop while processing cell %s. Active cells:%s\n", log_id(cell), cell_list.c_str()); + } + cell_recursion_guard.insert(cell); btorf_push(log_id(cell)); |