The command line options to pass to Synopsys Detect