Fix directed tests compilation (!1678) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/ci_check_directeds_fix into cv32e40s/dev Feb 23, 2023

Created by: silabs-robin

_zcb_zcmp was previously added to most Yaml cfgs, and that conflicts with our usage of .option rvc and .option norvc. This PR fixes that for directed tests.

Problem: Can't test it properly because some of the tests are already failing for other reasons. Marked as "draft" because I cannot test it properly.

Test status: ci_check: 1 additional directed test is passing, arith basic (tho random tests still have issues) formal: (Should not be relevant)

Fix directed tests compilation

Merge request reports