TXT2PBES(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

🎀 NAME 🎀

okay so welcome to the txt2pbes(1) page, bestie — this is the User Commands section and the whole vibe is parse a textual description of a PBES 🫶. That's the job, that's the mission, no cap.

✨ SYNOPSIS ✨

txt2pbes [OPTION]... [INFILE [OUTFILE]]

💖 DESCRIPTION 💖

So txt2pbes parses the textual description of a PBES from INFILE and writes it to OUTFILE ✨. If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used. Literally that simple, and honestly? iconic.

💅 OPTIONS 💅

OPTION can be any of the following, bestie:

  • -n, --normalize — normalization is applied, i.e. negations and implications are eliminated 💅
  • -oFORMAT, --out=FORMAT — use output format FORMAT:
    • bes — BES in internal 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 Aad Mathijssen, Wieger Wesselink. 💖

🐛 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/txt2pbes.html 👀

This page is giving txt2pbes mCRL2 toolset 202507...., dated October 2026 — manual TXT2PBES(1), periodt 💖

📦 where this page comes from