Machetli: Simplifying Input Files for Debugging

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

[img] PDF - Submitted Version

Official URL: https://edoc.unibas.ch/93499/

Downloads: Statistics Overview


Debugging can be a painful task, especially when bugs only occur for large input files. We present Machetli, a tool to help with debugging in such situations. It takes a large input file and cuts away parts of it, while still provoking the bug. The resulting file is much smaller than the original, making the bug easier to find and fix. In our experience, Machetli was able to reduce planning tasks with thousands of actions to trivial tasks that could even be solved by hand. Machetli is an open-source project and it can be extended to other use cases such as debugging SAT solvers or LaTeX compilation bugs.
Faculties and Departments:05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)
UniBasel Contributors:Galery Käser, Lucas and Büchner, Clemens and Blaas Corrêa, Augusto and Pommerening, Florian and Röger, Gabriele
Item Type:Other
Publisher:AAAI Press
Note:Publication type according to Uni Basel Research Database: Other publications
edoc DOI:
Last Modified:08 May 2023 12:08
Deposited On:08 May 2023 12:08

Repository Staff Only: item control page