Using std::vector<RTLIL::State> instead of RTLIL::Const for RTLIL::SigChunk::data
This commit is contained in:
@@ -294,7 +294,8 @@ struct BtorDumper
|
||||
int l=-1;
|
||||
if(chunk->wire == NULL)
|
||||
{
|
||||
l=dump_const(&chunk->data, chunk->width, chunk->offset);
|
||||
RTLIL::Const data_const(chunk->data);
|
||||
l=dump_const(&data_const, chunk->width, chunk->offset);
|
||||
}
|
||||
else
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user