LPSPP(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 LPSPP(1) 💅

okay so bestie, welcome to the lpspp(1) glow-up ✨ this one lives in the User Commands manual section (section 1, iykyk) and honestly? she's a little icon whose whole personality is making an LPS look cute and readable 🎀

🌸 NAME 🌸

lpspp — pretty print an LPS 💖

✨ SYNOPSIS ✨

lpspp [OPTION]... [INFILE [OUTFILE]]

🦋 DESCRIPTION 🦋

So the vibe is: you hand her an mCRL2 LPS in INFILE, and she prints it out to OUTFILE in a human readable format. That's it. That's the whole assignment. 💅

  • no OUTFILE? no problem, stdout gets the slay 🫶
  • no INFILE? also fine, she'll read from stdin

literally so low maintenance.

🎀 OPTIONS 🎀

OPTION can be any of the following, bestie — read carefully, there's lore here 👑

  • -fFORMAT, --format=FORMAT — prints the LPS in the FORMAT you specify. Your choices are 'default' for a process specification (this one's the default, she's the main character) or 'internal' for a textual ATerm representation of the internal format 🌈
  • -n, --print-summand_numbers — prints numbers in front of summands. cute little numbering moment ✨
  • --timings[=FILE] — appends timing measurements to FILE. no FILE given? she writes those measurements to standard error instead, no cap 💀

⭐ Standard options ⭐

these are the everyday baddies, always in the group chat 🫶

  • -q, --quiet — do not display warning messages. silence is golden, she gets it 🙈
  • -v, --verbose — display short log messages 📝
  • -d, --debug — display detailed log messages 🔍
  • --log-level=LEVEL — display log messages up to and including LEVEL; LEVEL is 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 🫣 yes bestie, the secret menu

💜 AUTHOR 💜

Written by Aad Mathijssen and Jeroen Keiren. legends, honestly 🫶

😭 REPORTING BUGS 😭

Report bugs at <http://www.mcrl2.org/issuetracker>. pls do it, she wants to know 🥺

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. fr fr, none. 😭

🌟 SEE ALSO 🌟

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpspp.html> — go read it, iykyk 📚

okay that's the whole page!! 💖 this beauty is lpspp from the mCRL2 toolset 202507.0.1..., dated October 2026 — and that's the sign-off, bestie. go pretty-print something iconic 🦋✨👑

📦 where this page comes from