Fix conditional assignments of slices where conditional is an array #215
Labels
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Byron Bradley (@bbradley)
Original Redmine Issue: 215 from https://www.veripool.org
Original Date: 2010-02-01
Original Assignee: Byron Bradley (@bbradley)
V3Slice will look at the conditional part of an assignment and compare the dimensions. If the conditional is an array this will fail when it shouldn't.
Also attached two trivial patches that:
The text was updated successfully, but these errors were encountered: