• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Debugging
    • Break-rewrite
      • Monitor
      • Brr
        • Brr-evisc-tuple
        • Show-brr-evisc-tuple
        • Set-brr-evisc-tuple
      • Dmr
      • Break-lemma
      • Why-brr
      • Brr@
      • Brr-commands
      • Cw-gstack
      • Ok-if
      • Windows-installation
      • Unmonitor
      • Monitor!
      • Monitored-runes
    • Proof-builder
    • Accumulated-persistence
    • Cgen
    • Proof-tree
    • Forward-chaining-reports
    • Print-gv
    • Dmr
    • Splitter
    • Guard-debug
    • Set-debugger-enable
    • Redo-flat
    • Set-check-invariant-risk
    • Time-tracker
    • Removable-runes
    • Efficiency
    • Tail-biting
    • Failed-forcing
    • Sneaky
    • Failure
    • Invariant-risk
    • Measure-debug
    • Dead-events
    • Remove-hyps
    • Type-prescription-debugging
    • Pstack
    • Set-register-invariant-risk
    • Trace
    • Disassemble$
    • Nil-goal
    • Cw-gstack
    • Walkabout
    • Set-guard-msg
    • Find-lemmas
    • Watch
    • Quick-and-dirty-subsumption-replacement-step
    • Profile-all
    • Profile-ACL2
    • Set-print-gv-defaults
    • Minimal-runes
    • Spacewalk
    • Try-gl-concls
    • Near-misses
  • Projects
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Testing-utilities
  • Math

• Brr
• Brr-evisc-tuple
• Set-evisc-tuple

Set-brr-evisc-tuple

Set the brr-evisc-tuple

The call (set-brr-evisc-tuple e state) is simply a convenient way to set the brr-evisc-tuple to e directly, that is, without using the more general mechanism, set-evisc-tuple. See brr-evisc-tuple.