diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-20 13:56:13 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-20 13:56:13 -0800 |
| commit | 1ea1e8e54f33e4a048c1343959e20e8f1c8ad73b (patch) | |
| tree | a5ac3ee416f3c74c7e842a88c691a61588c49c01 /passes/sat/sim.cc | |
| parent | 45f0f1486bbe30cdbf22c94b165879568af1a37a (diff) | |
| parent | 7928eb113c5a310924f4bb8ab26d0dafe902d6ec (diff) | |
| download | yosys-1ea1e8e54f33e4a048c1343959e20e8f1c8ad73b.tar.gz yosys-1ea1e8e54f33e4a048c1343959e20e8f1c8ad73b.tar.bz2 yosys-1ea1e8e54f33e4a048c1343959e20e8f1c8ad73b.zip | |
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'passes/sat/sim.cc')
| -rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 4c3022c70..d5634b26d 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -230,7 +230,7 @@ struct SimInstance bool did_something = false; sig = sigmap(sig); - log_assert(GetSize(sig) == GetSize(value)); + log_assert(GetSize(sig) <= GetSize(value)); for (int i = 0; i < GetSize(sig); i++) if (state_nets.at(sig[i]) != value[i]) { |