mix tptp.format (Tptp v0.1.0)

Copy Markdown View Source

Reformat TPTP files in place.

mix tptp.format Problems/PUZ/PUZ001+1.p
mix tptp.format "Axioms/**/*.ax"
mix tptp.format --check Problems/**/*.p

Only white space is altered. The token sequence is unchanged, as Tptp.Printer.Format describes and a corpus test asserts, so this cannot rewrite one formula into another.

A file whose tokens do not lex is left unmodified and reported. A formatter is invoked precisely when a file is in an inconsistent state, and rewriting one it cannot read risks discarding content.

Options

  • --check — change nothing; exit non-zero if any file would change. For CI.