Reporting Bugs

Author(s): The Ciao Development Team.

When identifying a potential bug please report to the corresponding mailing list (<ciao-bugs@cliplab.org>) and specify enough information to reproduce the problem:

affected code (e.g., bundle) and your configuration;
specify your machine, operating system, compiler version, etc.;
try to generate (if possible) a minimal working example (MWE);
check (if possible) that it is not a duplicate;

Bugs are preferably stored at each bundle with the following structure:

BUNDLENAME/bugs/
├── NODISTRIBUTE
├── Fixed
├── ...more specific directories...
└── Unclassified

For example, the bugs directory of the core bundle looks like:

CIAOROOT/core/bugs/
├── Fixed
├── NODISTRIBUTE
├── Pending
├── Performance
└── Unclassified

For internal development, bugs may also be filed at our Phabricator site (as tasks). Bugs may also be filed as github issues, although we recommend the other channels mentioned above.

Once fixed, bugs are moved to the bugs/Fixed/ sub-directory.