Incompatibility between this repo's assertions.svh and lowrisc's prim_assert.sv #238
Description
PR #233 has changed the assertion macros. They are no longer identical to those of lowrisc but still use the same macro names. The new incompatibility is documented in this repository's README as of #237.
This issue serves as future reference and to discuss whether and which potential actions might be required to mitigate this incompatibility.