diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-23 16:09:27 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-23 19:34:51 +0200 |
| commit | a62c21c9c64ad5b3e0dae5d4ee4857425f73068e (patch) | |
| tree | 81cbbd4bbd869af6290eb0e19e4cfdfbc9555c03 /passes/sat/sat.cc | |
| parent | 54552f680938fd933b07fa38597937ba6d367be7 (diff) | |
Removed RTLIL::SigSpec::expand() method
Diffstat (limited to 'passes/sat/sat.cc')
| -rw-r--r-- | passes/sat/sat.cc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 24968aa2..34becaee 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -411,10 +411,8 @@ struct SatHelper if (prove_asserts) { RTLIL::SigSpec asserts_a, asserts_en; satgen.getAsserts(asserts_a, asserts_en, timestep); - asserts_a.expand(); - asserts_en.expand(); - for (size_t i = 0; i < asserts_a.chunks().size(); i++) - log("Import proof for assert: %s when %s.\n", log_signal(asserts_a.chunks()[i]), log_signal(asserts_en.chunks()[i])); + for (int i = 0; i < SIZE(asserts_a); i++) + log("Import proof for assert: %s when %s.\n", log_signal(asserts_a[i]), log_signal(asserts_en[i])); prove_bits.push_back(satgen.importAsserts(timestep)); } |