• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
      • Cgen
        • Defdata
        • Test?
        • ACL2s-defaults
        • Prove/cgen
        • Register-type
        • With-timeout
        • Defdata-attach
        • Testing-enabled
        • Defdata-aliasing-enabled
        • Cgen-single-test-timeout
        • Verbosity-level
        • Search-strategy
        • Num-print-counterexamples
        • Cgen-timeout
        • Cgen-local-timeout
        • Num-witnesses
        • Num-trials
        • Num-print-witnesses
        • Test-then-skip-proofs
        • Sampling-method
        • Recursively-fix
        • Num-counterexamples
        • Backtrack-limit
        • Print-cgen-summary
        • Cgen::flush
          • Backtrack-bad-generalizations
          • Use-fixers
          • Thm-no-test
          • Defthmd-no-test
          • Defthm-no-test
        • Run-script
        • Std/testing
    • Cgen

    Cgen::flush

    Flush/Reset the Cgen state globals to sane values.

    [DEPRECATED, IRRELEVANT] Flush the transient Cgen state globals (cgen::event-ctx, cgen::cgen-state) to nil. 
    Usage (at the top-level): 
  (cgen::flush)