diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-24 00:13:27 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-24 00:13:27 +0100 |
| commit | 43951099cf46b5a0a25bdebb001685a89dfe6c82 (patch) | |
| tree | b95a7ef79401216e1e65b30691b4ecaa2e7491af /passes/equiv/equiv_induct.cc | |
| parent | 1cb4c925d03de289f37a40b6eceb57ced8dce295 (diff) | |
Added dict/pool.sort()
Diffstat (limited to 'passes/equiv/equiv_induct.cc')
| -rw-r--r-- | passes/equiv/equiv_induct.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/equiv/equiv_induct.cc b/passes/equiv/equiv_induct.cc index 38a52d75..01b92204 100644 --- a/passes/equiv/equiv_induct.cc +++ b/passes/equiv/equiv_induct.cc @@ -100,6 +100,8 @@ struct EquivInductWorker log(" Proof for induction step failed. %s\n", step != max_seq ? "Extending to next time step." : "Trying to prove individual $equiv from workset."); } + workset.sort(); + for (auto cell : workset) { SigBit bit_a = sigmap(cell->getPort("\\A")).to_single_sigbit(); |