HELLO,I am trying to run the exact counter code given in caravel user project example.I did not change any thing from the caravel_user_project.Although it worked for make user_proj_example and wrapper,it showed check failed in user_defines and default.I corrected then user_defines.v and ran everything again.Now I have only default error for running precheck.I have attached the screenshot here.Please help me out.

The “default” error is flagged when the default design is run through precheck. In the past, some designs did not run the final

make user_project_wrapper

and submitted the default gds instead. This check flags that error.