objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Handle timeouts #355

Open deemp opened 3 months ago

deemp commented 3 months ago

Problem

Sometimes, the normalizer dataize command works too long (link) and doesn't produce normalized programs in CI. No workflow report is produced because the normalizer report command assumes there were both an initial and the final PHI programs.

Suggested solution

CLI option

Add the --timeout option to the normalizer dataize command. The option argument is the maximum allowed running time in seconds after which certain timeout logic is executed.

Timeout logic

  1. Print an error message to stderr.
  2. Print the initial program to stdout / to a specified file.
    • Programs with no metrics changes will be visible in reports

TODO

Consider external timeouts.