PBESINFO(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💖 PBESINFO(1) 💖

okay bestie, welcome to the User Commands manual page for pbesinfo — she’s small, she’s useful, and she’s here to spill the tea about your PBES. No cap, this one is a little icon. 💅✨

🌸 NAME 🌸

pbesinfo — display basic information about a PBES

✨ SYNOPSIS ✨

pbesinfo [OPTION]... [INFILE]

🦋 DESCRIPTION 🦋

Print basic information about the PBES in INFILE. If INFILE is not present, standard input is used. Periodt — that’s the whole vibe. 💖

🎀 OPTIONS 🎀

OPTION can be any of the following, bestie:

  • -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 Wieger Wesselink; Alexander van Dam. Absolute legends. 🫶

💀 REPORTING BUGS 💀

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

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

okay bye bestie — this iconic page is from the mCRL2 toolset, version 202507...., dated October 2026 💖✨👑

📦 where this page comes from