Can WARL read-only be handled in csrw_check?

[silabs-robin]

We attempted to run csrw_check on all CSRs that are supported both by cv32e40x and by riscv_formal.
This did not work with MISA, because it is WARL and we have it as read-only.
I was not able to find an explanation in the docs/ directory, and the code seems to indicate that it is currently irreconcilable.
Is it the intention of the csrw_check that such registers shall not be attempted to be checked here, is it possible to configure the test differently so it works, or is it a feature that could be added to riscv_formal?