TXT2BES(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

🦋 txt2bes(1) — the group-chat guide 🦋

okay bestie, so txt2bes is a User Commands situation and honestly it's giving "translator era" ✨ it takes a textual description of a BES and, like, parses it into a real one. one job, does it slay.

💖 NAME 💖

txt2bes — parse a textual description of a BES 🎀

🌸 SYNOPSIS 🌸

txt2bes [OPTION]... [INFILE [OUTFILE]]

✨ DESCRIPTION ✨

So here's the vibe: it parses the textual description of a BES from INFILE and writes it to OUTFILE. 🫶

  • no INFILE? it just reads from stdin, no big deal
  • no OUTFILE? it writes to stdout, we love a low-effort queen

👑 OPTIONS 👑

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

  • -oFORMAT, --out=FORMAT — picks your output format FORMAT, and the menu is:
    • 'bes' — BES in internal format
    • 'pbes' — PBES in internal format (this is the default, iykyk)
    • 'pgsolver' — BES in PGSolver format
    • 'text' — PBES in textual (mCRL2) format
  • --timings[=FILE] — appends timing measurements to FILE. and if you don't give it a FILE? the measurements go to standard error instead. no cap. ⏱️

⭐ Standard options ⭐

like every other tool in the set, she comes with the classics:

  • -q, --quiet — do not display warning messages (shhh 🤫)
  • -v, --verbose — display short log messages (a little gossip)
  • -d, --debug — display detailed log messages (full tea ☕)
  • --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 👀 (the secret menu fr fr)

🧚 AUTHOR 🧚

Written by Wieger Wesselink. 💜

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. please do, she wants to grow 😭

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. like, none, bestie, zero, nada 💀

🍓 SEE ALSO 🍓

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/txt2bes.html>. go read it, it's iconic.

ok that's the whole page, go parse something 💅

sign-off time 🎀 this little icon is part of the mCRL2 toolset version 202507.0..., dated October 2026, and the page you just read is the txt2bes(1) one. mwah 💋

📦 where this page comes from