Fix counter_wb test & Makefile cocotb-verify-* regex#382

marwaneltoukhy merged 1 commit intoefabless:fix_ciefabless/caravel_user_project:fix_cifrom

algofoogle:mainalgofoogle/caravel_user_project:mainCopy head branch name to clipboard