The argument to ` batch` should be some TCL commands not fil open-source-silicon.dev #magic

The argument to `-batch` should be some TCL comman...

t

tnt

10/25/2024, 7:13 AM

The argument to

-batch

should be some TCL commands not ... filenmaes.