Difficulty Running picorv32 Verilog with Default Setting

[SeddonShen]

Hi Kaki!

I've noticed that this repository includes the Source code for picorv32. However, when I attempt to run it with the default parameters, symbolic execution seems to fail when Clock = 3.

Could you confirm whether Sylvia currently supports symbolic execution for larger designs such as picorv32? Or am I using incorrect parameters?

Thanks for your help!