PBESPP(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 PBESPP(1) — pretty print a PBES 💅

okay so bestie, this is the PBESPP(1) page from the User Commands manual, and it's all about pbespp, the tool that pretty prints a PBES. That's the whole vibe. 🎀

✨ NAME ✨

pbespp — pretty print a PBES. periodt. 💖

🦋 SYNOPSIS 🦋

pbespp [OPTION]... [INFILE [OUTFILE]]

🌸 DESCRIPTION 🌸

Print the PBES in INFILE to OUTFILE in a human readable format. If OUTFILE is not present, stdout is used. If INFILE is not present, stdin is used. That's literally the flow, no cap. 💅

🛠️ OPTIONS 🛠️

OPTION can be any of the following:

✨ Formatting era ✨

  • -fFORMAT, --format=FORMAT — print the PBES in the specified FORMAT: 'default' a PBES specification (default) 'internal' a textual ATerm representation of the internal format. Yes, -fFORMAT has no space, bestie — exact flag, exact vibes. 💖
  • -p, --pfnf-printer — format the output according to the structure of PFNF (only has an effect when printing a PBES in PFNF to text). 🌈
  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided. ⏱️

🌟 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. 🔥

✍️ AUTHOR ✍️

Written by Aad Mathijssen and Jeroen Keiren. iconic. 👑

🐞 REPORTING BUGS 🐞

Report bugs at <http://www.mcrl2.org/issuetracker>. Don't be shy, bestie. 💌

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.

👀 SEE ALSO 👀

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

Cute sign-off: this is pbespp from the mCRL2 toolset, version 202507.0...., dated October 2026, and the page is PBESPP(1). 💅✨

📦 where this page comes from