Skip to content

change "iff" to "with" in cross coverage

Eclipse Webmaster requested to merge github/fork/silabs-krdosvik/pmp_problem into cv32e40s/dev

Created by: silabs-krdosvik

change iff to with as this dont generate warnings in "updated" formal, and:

image

and, 2) image

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent