diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-09 14:01:50 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-09 14:01:50 +0200 |
| commit | b7ba90910dfc06d89bf45b6ead9e40e9bf985fe1 (patch) | |
| tree | 9621581b14d985a86aa1c867760e48fde7723880 /passes/sat | |
| parent | 0efde137752bc359630bf999be2c4b367870c54d (diff) | |
| download | yosys-b7ba90910dfc06d89bf45b6ead9e40e9bf985fe1.tar.gz yosys-b7ba90910dfc06d89bf45b6ead9e40e9bf985fe1.tar.bz2 yosys-b7ba90910dfc06d89bf45b6ead9e40e9bf985fe1.zip | |
Fixed handling of $_XOR_ in SAT generator
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat_solve.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/passes/sat/sat_solve.cc b/passes/sat/sat_solve.cc index 8e82e4ec3..362efb2de 100644 --- a/passes/sat/sat_solve.cc +++ b/passes/sat/sat_solve.cc @@ -423,7 +423,9 @@ rerun_solver: value.bits.push_back(modelValues.at(info.offset+i) ? RTLIL::State::S1 : RTLIL::State::S0); if (info.timestep != last_timestep) { - const char *hline = "--------------------------------------------------------"; + const char *hline = "---------------------------------------------------------------------------------------------------" + "---------------------------------------------------------------------------------------------------" + "---------------------------------------------------------------------------------------------------"; if (last_timestep == -2) { log(seq_len > 0 ? " Time " : " "); log("%-*s %10s %10s %*s\n", maxModelName+10, "Signal Name", "Dec", "Hex", maxModelWidth+5, "Bin"); |