Hi
Thank you again for making creduce available, which has been a great help in the Chamois project.
I've encountered a bug, and creduce suggested that I mail some tarball to you, so I do it. ;)
$ creduce --version
creduce 2.11.0 (unknown)
pass_clex::rm-tok-pattern-4 has encountered a bug:
pass got stuck
Please consider tarring up /home/monniaux/work/Kalray/auto_2024_12_19_1520/test/abi/tmp/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
Directeur de recherche au CNRS, laboratoire VERIMAG
http://www-verimag.imag.fr/~monniaux/