codehawkc

Contents:

  • CodeHawk-C File Organization
  • chc package
    • Subpackages
      • chc.api package
      • chc.app package
      • chc.cmdline package
        • Subpackages
          • chc.cmdline.c_file package
          • chc.cmdline.c_project package
          • chc.cmdline.juliet package
          • chc.cmdline.kendra package
            • Submodules
              • chc.cmdline.kendra.TestCFileRef module
              • chc.cmdline.kendra.TestCFunctionRef module
              • chc.cmdline.kendra.TestManager module
              • chc.cmdline.kendra.TestPPORef module
              • chc.cmdline.kendra.TestResults module
              • chc.cmdline.kendra.TestSPORef module
              • chc.cmdline.kendra.TestSetRef module
              • chc.cmdline.kendra.kendrautil module
        • Submodules
      • chc.invariants package
      • chc.jsoninterface package
      • chc.linker package
      • chc.proof package
      • chc.reporting package
      • chc.source package
      • chc.util package
codehawkc
  • »
  • chc package »
  • chc.cmdline package »
  • chc.cmdline.kendra package
  • View page source

chc.cmdline.kendra package

Support for analyzing the kendra (regression) tests.

chc.cmdline.kendra.TestCFileRef

chc.cmdline.kendra.TestCFunctionRef

chc.cmdline.kendra.TestManager

chc.cmdline.kendra.TestPPORef

chc.cmdline.kendra.TestResults

chc.cmdline.kendra.TestSPORef

chc.cmdline.kendra.TestSetRef

chc.cmdline.kendra.kendrautil

Command-line interface to the CodeHawk C Analyzer.

Submodules

  • chc.cmdline.kendra.TestCFileRef module
  • chc.cmdline.kendra.TestCFunctionRef module
  • chc.cmdline.kendra.TestManager module
  • chc.cmdline.kendra.TestPPORef module
  • chc.cmdline.kendra.TestResults module
  • chc.cmdline.kendra.TestSPORef module
  • chc.cmdline.kendra.TestSetRef module
  • chc.cmdline.kendra.kendrautil module
Previous Next

© Copyright 2024, Henny B. Sipma, Aarno Labs LLC.

Built with Sphinx using a theme provided by Read the Docs.