Mentor v8.6_4 - page 703

Shell Commands flextest
FastScan and FlexTest Reference Manual, V8.6_4 3-11
Example
The following example invokes FlexTest in command line mode on an EDIF
netlist named design1.edif, whose library parts are in a file called mitsu_lib10.
FlexTest keeps a session log in a file called design1_atpg.log, replacing the
contents of the file if it already exists:
shell> $MGC_HOME/bin/flextest design1.edif -edif -lib
mitsu_lib10 -log design1_atpg.log -replace
The following example also invokes FlexTest in graphical mode, but then has you
use the invocation dialog box to enter the same arguments:
$MGC_HOME/bin/flextest
Design: design1.edif
Format: EDIF
ATPG Library: mitsu_lib10
Log File: design1_scan.log
Overwrite Existing File: ON