Was getting this error while running

make verify-io_ports

. Does this mean there is some issue with the gpio connections in user_project_wrapper.v or something similar?

This is a test for user_proj_example.v that views the counter outputs on the GPIO. You can't use this test on your design. - Configures MPRJ lower 8-IO pins as outputs - Observes counter value through the MPRJ lower 8 IO pins (in the testbench) The counter is the user_proj_example design