LTS2LPS(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 lts2lps(1) — like, the LTS-to-LPS glow-up manual

okay so before we do anything: this is lts2lps(1), a User Commands page — the tool itself lives in the mCRL2 toolset, and it's basically the fairy godmother that turns your LTS into an LPS. no cap. let's get into it 🧚✨

✨ NAME ✨

lts2lps — translates an LTS into an LPS 🦋

like… that's it. that's the whole job. she takes an LTS and she gives you an LPS. iconic behaviour honestly.

🌸 SYNOPSIS 🌸

lts2lps [OPTION]... [INFILE [OUTFILE]]

so you can give her options, you can give her an INFILE, you can give her an OUTFILE — or you can just vibe and let the defaults handle it (more on that below bestie, keep reading 💖).

🎀 DESCRIPTION 🎀

Translates an LTS in INFILE and writes the resulting LPS to OUTFILE.

and if you're like "but what if I don't have an OUTFILE" — no stress!! if OUTFILE is not present, standard output is used. and if INFILE is not present, standard input is used. literally the most low-maintenance tool ever. she'll read from your keyboard and scream into your terminal if that's what you want 🫶

🔥 OPTIONS 🔥

OPTION can be any of the following:

  • -DFILE, --data=FILE — use FILE as the data and action specification. FILE must be a .mcrl2 file which does not contain an init clause. (yes, that's a hard requirement, she's not flexible on this one 🙈)
  • -lFILE, --lps=FILE — use FILE for the data and action specification. FILE must be a .lps file.
  • -mFILE, --mcrl2=FILE — use FILE as the data and action specification for the LTS. FILE must be a .mcrl2 file.
  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided. (the =FILE is optional, she's chill like that ⏱️)

⭐ Standard options ⭐

these ones are the everyday besties, the ones you'll actually reach for:

  • -q, --quiet — do not display warning messages. silence is golden, slay 🤫
  • -v, --verbose — display short log messages
  • -d, --debug — display detailed log messages. she's telling you everything at this point, main character energy 💀
  • --log-level=LEVEL — display log messages up to and including level; LEVEL is 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. ooooh secret menu 👀✨

👑 AUTHOR 👑

Written by Frank Stappers. thank you frank, king behaviour 💜

💀 REPORTING BUGS 💀

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

if something's broken, don't suffer in silence — go tell the tracker. she can't fix herself 😭

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. zero. if it eats your homework, that's on the warranty situation, not on us 🙈

🍓 SEE ALSO 🍓

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lts2lps.html>.

iykyk, the docs are always there for you 📚

and that's the whole page bestie!! 💖 this was lts2lps from the mCRL2 toolset 202507.0..., dated October 2026 — go translate something gorgeous, and remember: standard input is always there if you're feeling shy. periodt 🎀✨

📦 where this page comes from