• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
        • Mlib
        • Server
        • Kit
          • Vl-model
          • Vl-json
          • Vl-gather
          • Vl-server
            • Vl-server-opts-p
              • Parse-vl-server-opts
              • Vl-server-opts
              • Make-vl-server-opts
              • Change-vl-server-opts
                • Honsed-vl-server-opts
                • Make-honsed-vl-server-opts
                • *vl-server-opts-usage*
                • Vl-server-opts->root
                • Vl-server-opts->readme
                • Vl-server-opts->public
                • Vl-server-opts->port
                • Vl-server-opts->mem
                • Vl-server-opts->help
            • Vl-pp
            • Vl-lint
            • Vl-main
            • Vl-toolkit-other-command
            • Vl-help
          • Printer
          • Esim-vl
          • Well-formedness
        • Sv
        • Fgl
        • Vwsim
        • Vl
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-server-opts-p

    Change-vl-server-opts

    A copying macro that lets you create new vl-server-opts-p structures, based on existing structures.

    Syntax:

    (change-vl-server-opts x 
                           [:help <help>] 
                           [:readme <readme>] 
                           [:mem <mem>] 
                           [:port <port>] 
                           [:root <root>] 
                           [:public <public>]) 
    

    This is a sometimes useful alternative to make-vl-server-opts. It constructs a new vl-server-opts-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

    Definition

    This is an ordinary change- macro introduced by defaggregate.

    Macro: change-vl-server-opts

    (defmacro change-vl-server-opts (x &rest args)
      (std::change-aggregate 'vl-server-opts
                             x args
                             '((:help . vl-server-opts->help)
                               (:readme . vl-server-opts->readme)
                               (:mem . vl-server-opts->mem)
                               (:port . vl-server-opts->port)
                               (:root . vl-server-opts->root)
                               (:public . vl-server-opts->public))
                             'change-vl-server-opts
                             'nil))