Is there a way to tell Yosys what the clock net is?

@Matthew Guthaus I don't think so. I check the synthesized netlist to see what is the name of the net connected to the CLK port of flip flops and set

CLOCK_NET

accordingly