static_assert(std::is_same_v<Simulator,partial_simulator>||std::is_same_v<Simulator,bit_packed_simulator>,"This function is specialized for partial_simulator or bit_packed_simulator");
autoconst&patterns=sim.get_patterns();
for(autoi=0u;i<patterns.size();++i)
{
out<<kitty::to_hex(patterns.at(i))<<"\n";
}
}
/*! \brief Writes simulation patterns
*
* The output contains `num_pis()` lines, each line contains a stream of
* simulation values of a primary input, represented in hexadecimal.
*
* \param sim The `partial_simulator` or `bit_packed_simulator` object containing simulation patterns
static_assert(std::is_same_v<Simulator,partial_simulator>||std::is_same_v<Simulator,bit_packed_simulator>,"This function is specialized for partial_simulator or bit_packed_simulator");