errors · bitdewfpga bit, yosys

design.sv:5: ERROR [module-not-found]: the module counter is instantiated here, and no file the build was given declares it (dewfpga reads the files that hold a module: design.sv). Fix: put the file that declares counter in this folder, or check the spelling of the module name.

ERROR: Module `\counter' referenced in module `\top' in cell `\u_cnt' is not part of the design.
design.sv:5: ERROR [module-not-found]: the module counter is instantiated here, and no file the build was given declares it (dewfpga reads the files that hold a module: design.sv). Fix: put the file that declares counter in this folder, or check the spelling of the module name. https://nosey-dewdrop.github.io/dewfpga/errors/module-not-found/

Why does it happen?

The submodule's file was not copied with the lab, or the instance names it with a typo. yosys' own line names cells; the CLI finds the instance's line in your file.

What is the fix?

cp ../lab3/counter.sv .

Which command prints it?