BESINFO(1)

hey bestie, welcome to the BESINFO(1) page from the User Commands manual — it’s the besinfo one, and we’re keeping every single detail, no cap 💅✨

🌸 NAME 🌸

besinfo - display basic information about a BES, periodt. That’s the whole vibe: it tells you the basics about a BES 🫶

🦋 SYNOPSIS 🦋

besinfo [OPTION]... [INFILE]

okay so that’s the shape of it: you can pass OPTIONs and optionally an INFILE.

✨ DESCRIPTION ✨

Print basic information about the BES in INFILE. If INFILE is not present, standard input is used. literally that simple, bestie 🌈

💖 OPTIONS 💖

OPTION can be any of the following:

• -f, --full — display the predicate variables and their signature
• -iFORMAT, --in=FORMAT — use input format FORMAT: 'pbes' PBES in internal format (default), 'pgsolver' BES in PGSolver format, 'text' PBES in textual (mCRL2) format
• --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 Jeroen Keiren.

🚨 REPORTING BUGS 🚨

Report bugs at <http://www.mcrl2.org/issuetracker>.

💜 COPYRIGHT 💜

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/besinfo.html>.

---

and that’s the page, bestie — brought to you by besinfo, the mCRL2 toolset 202507.0..., October 2026, and the BESINFO(1) manual page, out 💖✨🫶