Fix sim for assignments with lhs<rhs size, fixes #1565
authorClifford Wolf <clifford@clifford.at>
Tue, 17 Dec 2019 16:32:48 +0000 (17:32 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 17 Dec 2019 16:36:30 +0000 (17:36 +0100)
commit41ed6ca7a5a18aa3a2ce42e76012c43fdf2de73b
tree51a0232c112ee38594d99c1ce42e971f09e06689
parenta73f96594f4688afc85098b485ef7788e79f5c33
Fix sim for assignments with lhs<rhs size, fixes #1565

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/sim.cc