Reporting bugs in Maude

As already mentioned, bug reports should be sent to

  maude-bugs@maude.cs.uiuc.edu

When submitting a bug report, please include the following information:

1. Example to reproduce the bug. Ideally this should be a single file that reproduces the bug by loading it. If your example is large and spread out in multiple files, have a file top.maude that loads files and executes commands as necessary to reproduce the bug. Send all the files as a tar archive, optionally compressed with gzip.

   If Maude's output is not obviously wrong (for example, an ``internal error'' message), include an explanation of why the output is wrong.

   If you choose to simplify the example, note that a short runtime to expose the bug is desirable. A small example text is mostly unimportant unless it is necessary to understand such example text in order to understand why Maude's output is incorrect.

2. Version of Maude used. Make sure you provide information of the concrete release of Maude (and Full Maude if it is the case). If you are not using one of the ready-made binaries released by the Maude team, also give the versions of the compiler and tools used to build it and the libraries linked against.
3. Platform. Include the operating system type and version number, as well as the processor type.