### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description Hi I'm using cva6 pulp-v1.0.0 tag. My issue is smoke-gen_tests.sh unknown prefixed ISA extension `zca' [smoke-gen_tests.log](https://github.com/user-attachments/files/21916751/smoke-gen_tests.log) Thanks, Minh
Is there an existing CVA6 bug for this?
Bug Description
Hi
I'm using cva6 pulp-v1.0.0 tag.
My issue is smoke-gen_tests.sh unknown prefixed ISA extension `zca'
smoke-gen_tests.log
Thanks,
Minh