I have a question about the expected function

Question

< U01AX8X5N58> I have a question about the expected functionality of openSTA `report checks` in this case ``` report checks path delay min format summary slack max 0 through mprj wrapped hack soc dffram 9 No paths found report checks path delay min format summary slack max 0 through mprj wrapped hack soc dffram 9 Startpoint Endpoint Slack mprj wrapped hack soc dffram 9 6031 Q sky130 fd sc hd dfxtp 1 mprj wrapped hack soc dffram 9 soc spi video ram 1 write fifo dffrf REGF 5 RFW BIT 3 FF D sky130 fd sc hd dfxtp 1 0 58``` Here `wrapped hack soc dffram 9` is a module in the hierarchy loaded with read verilog and read spef path `soc spi video ram 1 write fifo dffrf` is a submodule of wrapped hack soc dffram 9 again with its own v and spef It seems report checks first call only return results from cells defined inside it but not from submodules defined in other files Is that ok