(vl-json-opts-p x) is a defaggregate of the following fields.
help — Show a brief usage message and exit. Invariant (booleanp help).
readme — Show a more elaborate README and exit. Invariant (booleanp readme).
outfile — Write output to FILE. Default: "foo.v.json", where
"foo.v" is the first Verilog file provided. Invariant (stringp outfile).
search-path — Search path for finding modules. You can give this switch
multiple times, to set up multiple search paths in priority
order. Invariant (string-listp search-path).
separate — Write modules as separate, independent JSON objects instead of
as a single, monolithic object. Invariant (booleanp separate).
edition — Which edition of the Verilog standard to implement?
Default: "SystemVerilog" (IEEE 1800-2012). You can
alternately use "Verilog" for IEEE 1364-2005, i.e.,
Verilog-2005. Invariant (vl-edition-p edition).
strict — Disable VL extensions to Verilog. Invariant (booleanp strict).
mem — How much memory to try to use. Default: 4 GB. Raising this
may improve performance by avoiding garbage collection. To
avoid swapping, keep this below (physical_memory - 2 GB). Invariant (posp mem).
debug — Print extra information for debugging. Invariant (booleanp debug).
