Skip to content

Atomic sanity test

Eclipse Webmaster requested to merge github/fork/silabs-krdosvik/atomic_sanity-2 into main

Created by: silabs-krdosvik

  1. Add zalrsc sanity checking
  2. Enable a extention in ISACOV
  3. Include zalrsc without ISS in full regression

formal: compiles ci_check: passes

Connected to PR https://github.com/openhwgroup/core-v-verif/pull/2252

Merge request reports

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