BESPP(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 BESPP(1) — like, the bespp page, bestie ✨

okay so welcome to the bespp glow-up, part of the mCRL2 toolset (User Commands era, we love that for us). she pretty-prints a BES. that's it. that's the whole personality. and honestly? iconic.

🌸 NAME 🌸

bespp — pretty print a BES 🎀

🦋 SYNOPSIS 🦋

bespp [OPTION]... [INFILE [OUTFILE]]

✨ DESCRIPTION ✨

So here's the vibe: bespp prints the BES in INFILE to OUTFILE in a human readable format. gorgeous. stunning. no notes.

And if OUTFILE isn't there? no worries bestie, stdout gets used instead 🫶

And if INFILE isn't there either? she just reads from stdin. lowkey the most flexible queen in the toolset 💅

👑 OPTIONS 👑

OPTION can be any of the following, and yes, we're going through all of them:

  • -fFORMAT, --format=FORMAT — prints the PBES in the specified FORMAT. <yellow>'default' gives you a BES specification (and that's the default too, so it's giving main character energy fr) 🔥
  • --timings[=FILE] — appends timing measurements to FILE. And if you don't hand it a FILE? the measurements get written to standard error instead. very "I'll find a way" of it tbh ⭐

💜 Standard options 💜

these are the ones everyone uses, so let's go:

  • -q, --quiet — do not display warning messages 🤫 (she's silencing the haters)
  • -v, --verbose — display short log messages 🗣️
  • -d, --debug — display detailed log messages 🔍 (the full tea)
  • --log-level=LEVEL — display log messages up to and including LEVEL. Your choices are warn, verbose, debug or trace. pick your fighter 💀
  • -h, --help — display help information 🫶
  • --version — display version information 🎀
  • --help-all — display help information, including hidden and experimental options 👀 iykyk

🌈 AUTHOR 🌈

Written by Jeroen Keiren. we stan 💖

🐛 REPORTING BUGS 🐛

Found a bug? bestie please report it at <http://www.mcrl2.org/issuetracker> — they're literally waiting for you, don't gatekeep 🙈

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

and listen — there is NO WARRANTY, to the extent permitted by law. no cap, zero warranty, she said what she said 💀

🧚 SEE ALSO 🧚

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/bespp.html> — go read it, it's the director's cut ✨

and that's the whole page, bestie 🎀 this masterpiece is brought to you by the mCRL2 toolset 202507.0.1..., dated October 2026. slay, goodbye, drink some water 💖🦋

📦 where this page comes from