TRACEPP(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 TRACEPP(1) — the tracepp glow-up guide

okay so bestie, welcome to tracepp(1) from the User Commands girlies ✨ this little icon converts traces AND pretty-prints them, which is honestly giving main character energy for a command-line tool 🎀

✨ NAME ✨

tracepp — convert and pretty print traces 💖

🦋 SYNOPSIS 🦋

tracepp [OPTION]... [INFILE [OUTFILE]]

🌸 DESCRIPTION 🌸

So here's the vibe: tracepp takes the trace sitting in INFILE, converts it, and saves it in another format to OUTFILE. No OUTFILE? It just yeets the output to stdout instead 🫶. No INFILE? Then it reads from stdin, no cap.

Your input should be either in plain format — which literally just means a text file with one action on each line, super chill — or the mCRL2 trace format (the kind lps2lts generates, for example). Both are valid, pick your fighter 💅

🔥 OPTIONS 🔥

OPTION can be any of the following, and yes, we're covering every single one 👑

  • -fFORMAT, --format=FORMAT — print the trace in the specified FORMAT. The formats are, in order:
    • 'plain' — plain text (this is the default, btw 💖)
    • 'states' — plain text with state vectors
    • 'mcrl2' — the mCRL2 format
    • 'aut' — the Aldebaran format
    • 'dot' — the GraphViz format
  • --timings[=FILE] — append timing measurements to FILE. If you don't hand it a FILE, the measurements get written to standard error instead. noted 📝

⭐ Standard options ⭐

  • -q, --quiet — do not display warning messages 🤫
  • -v, --verbose — display short log messages
  • -d, --debug — display detailed log messages
  • --log-level=LEVEL — display log messages up to and including LEVEL; either warn, verbose, debug or trace
  • -h, --help — display help information
  • --version — display version information
  • --help-all — display help information, including hidden and experimental options 🙈 (the secret menu, lowkey iconic)

👑 AUTHOR 👑

Written by Muck van Weerdenburg. 💜

💀 REPORTING BUGS 💀

Found a bug? Report it at <http://www.mcrl2.org/issuetracker> — the devs wanna know, fr fr 🐛

Copyright © 2025 Technische Universiteit Eindhoven.

This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law. (so like, don't come for them if it breaks, bestie 😭)

🧚 SEE ALSO 🧚

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/tracepp.html> 📖

ngl that's the whole page, you ate that 💅✨

and that's the tea 🍓 — this was tracepp from the mCRL2 toolset 202507.0..., dated October 2026, signing off with a 🎀 and a 🫶, bye bestie! 💖

📦 where this page comes from