Published June 24, 2024
| Version v1
Software
Open
Chamelon : a delta-debugger for OCaml
Authors/Creators
Description
This artifact is a demonstration for the OCaml delta-debugger Chamelon described in the article. The tool source code is embedded in a docker where it can be built, with no requirement for the user.
We provide a sample of real-world examples, on which the optimizing compiler flambda2 failed at previous stages of its development. We can then execute Chamelon on those programs, with, as delta-debugging invariant, a compilation failure for compiler version specifically designed to trigger all those previous bugs. As a result, we get significantly reduced versions of those programs, triggering the same compilation error.
Files
chamelon-artifact.zip
Additional details
Software
- Repository URL
- https://github.com/Ekdohibs/flambda-backend/tree/chamelon-demo
- Programming language
- OCaml