Welcome to SeaCoral

SeaCoral is a tool for automatically testing your C project. If works by orchestrating different static and dynamic analyzers for generating coverage tests and detecting uncoverable paths. It relies on the simple “label coverage” measurement defined by LTest

Documentation

• How to install
  • Install with opam
  • Build and install with dune
• Usage
  • Seacoral’s workflow
  • Simple example
  • Using multiple tools
  • Annotations
  • Fixtures
  • Execution modes
• Seacoral’s configuration
  • Configuration file
  • About pointer specification
  • Command line
  • Environment variables
• Project management
  • Your projects
  • Project layout
• Tools
  • Preprocessing
  • Generating tests
  • Postprocessing
• Copyright and License
• About
  • Authors

Indices and tables

• Index

• Module Index

• Search Page