Warning: Command line: (S0091)
  Removing a directory from the path specified with the -vsearch flag, because
  it could not be opened.
  Directory:
    INVALID
  System message:
    does not exist
Warning: Command line: (S0092)
  Could not open the directory specified with the -vdir flag.
  Directory:
    INVALID
  System message:
    does not exist
Invoking command line:
bsc -i BLUESPECDIR -print-flags -vdir INVALID

Flags:
     -i   BLUESPECDIR
     -lift
     -o   a.out
     -parallel-sim-link   1
     -print-flags
     -remove-empty-rules
     -remove-false-rules
     -reset-prefix   RST_N
     -resource-off
     -sat-yices
     -show-compiles
     -show-timestamps
     -show-version
     -steps   1000000
     -steps-max-intervals   10
     -steps-warn-interval   100000
     -unspecified-to   A
     -vdir   INVALID
     -warn-action-shadowing
     -warn-method-urgency