mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-05 14:55:47 +00:00
Code Activity

SigSet<Cell*> to use stable compare class

Browse source
This commit is contained in:
Eddie Hung 2019-09-12 11:45:02 -07:00
parent 6044fff074
commit 4ea34aaacd
5 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/sat.cc
View file

@ -61,7 +61,7 @@ struct SatHelper
// model variables
std::vector<std::string> shows;
SigPool show_signal_pool;
SigSet<RTLIL::Cell*> show_drivers;
SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> show_drivers;
int max_timestep, timeout;
bool gotTimeout;