Overview

Concuerror's API specification

Welcome!

This documentation contains Concuerror's API specification. It is complementary to the user guides and tutorials available at https://parapluu.github.io/Concuerror. Please start there if you are looking for general information about what the tool can do and how it works.

Table of Contents

• Invoking Concuerror
• Help
• Options
• Standard Error Printout
• Report File
• Graph Output

Invoking Concuerror

The recommended method to invoke Concuerror is via the bin/concuerror escript (available after running make).

See the documentation of the concuerror module for more information about the entry points and return values.

Options

Concuerror is configured using a number of options.

See the documentation of the concuerror_options module.

Help

The help option can be used to access help.

Standard Error Printout

By default, Concuerror prints diagnostic messages in the standard error stream.

See the documentation of the verbosity option.

Report File

By default, Concuerror prints analysis findings in a report file.

See the documentation of the output option.

Graph Output

Optionally, Concuerror can produce a graphical representation of the exploration tree, by combining the explored interleavings.

Overview

Generated by EDoc