diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-02 16:37:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-02 16:37:57 +0200 |
| commit | f4ae6afc2282bcefac51b65e3905293cb19adc72 (patch) | |
| tree | 2fef377b1811ef8030c4dbfdf5cabcada755cdd4 /backends | |
| parent | e8a2d10982cd8f6ba3b0e66fbd922b051073f0cf (diff) | |
| parent | 7a65ed19a5921ff219fd208d2712e09b5e5894dd (diff) | |
| download | yosys-f4ae6afc2282bcefac51b65e3905293cb19adc72.tar.gz yosys-f4ae6afc2282bcefac51b65e3905293cb19adc72.tar.bz2 yosys-f4ae6afc2282bcefac51b65e3905293cb19adc72.zip | |
Merge pull request #1239 from mmicko/mingw_fix
Fix formatting for msys2 mingw build
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 69f63486c..9f56d1ab6 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -610,15 +610,15 @@ struct XAigerWriter std::stringstream h_buffer; auto write_h_buffer = std::bind(write_buffer, std::ref(h_buffer), std::placeholders::_1); write_h_buffer(1); - log_debug("ciNum = %zu\n", input_bits.size() + ci_bits.size()); + log_debug("ciNum = %d\n", GetSize(input_bits) + GetSize(ci_bits)); write_h_buffer(input_bits.size() + ci_bits.size()); - log_debug("coNum = %zu\n", output_bits.size() + co_bits.size()); + log_debug("coNum = %d\n", GetSize(output_bits) + GetSize(co_bits)); write_h_buffer(output_bits.size() + co_bits.size()); - log_debug("piNum = %zu\n", input_bits.size()); + log_debug("piNum = %d\n", GetSize(input_bits)); write_h_buffer(input_bits.size()); - log_debug("poNum = %zu\n", output_bits.size()); + log_debug("poNum = %d\n", GetSize(output_bits)); write_h_buffer(output_bits.size()); - log_debug("boxNum = %zu\n", box_list.size()); + log_debug("boxNum = %d\n", GetSize(box_list)); write_h_buffer(box_list.size()); RTLIL::Module *holes_module = nullptr; @@ -772,7 +772,7 @@ struct XAigerWriter if (output_bits.count(b)) { int o = ordered_outputs.at(b); - output_lines[o] += stringf("output %lu %d %s\n", o - co_bits.size(), i, log_id(wire)); + output_lines[o] += stringf("output %d %d %s\n", o - GetSize(co_bits), i, log_id(wire)); continue; } |