Skip to content

Fixed RVFI syntax causing issues for formal

Eclipse Webmaster requested to merge github/fork/halfdan-dolva/rvfi_syntax_fix into master

Created by: halfdan-dolva

Signed-off-by: Halfdan Bechmann halfdan.bechmann@silabs.com

Merge request reports

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