mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-03 19:35:43 +00:00
Code Activity

Revert "SigSet<Cell*> to use stable compare class"

Browse source 
This reverts commit 4ea34aaacd.
This commit is contained in:
Eddie Hung 2019-09-13 09:49:15 -07:00
parent c487a8ff25
commit 95e80809a5
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*, RTLIL::sort_by_name_id<RTLIL::Cell>> show_drivers;
SigSet<RTLIL::Cell*> show_drivers;
int max_timestep, timeout;
bool gotTimeout;