LPSSIM(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

🦋 lpssim(1) — command-line simulation of an LPS 🦋

💖 NAME 💖

lpssim - Command-line simulation of an LPS. That’s the whole name section, bestie — short, iconic, to the point 💅

✨ SYNOPSIS ✨

lpssim [OPTION]... [INFILE]

🎀 DESCRIPTION 🎀

Simulate the LPS in INFILE via a text-based interface. It’s giving terminal simulation realness, and honestly? Obsessed 🫶

💜 OPTIONS 💜

OPTION can be any of the following:

  • -y, --nodummy — do not replace global variables in the LPS with dummy values. Your globals stay un-dummied, periodt.
  • -QNUM, --qlimit=NUM — limit enumeration of universal and existential quantifiers in data expressions to NUM iterations (default NUM=10, NUM=0 for unlimited).
  • -rNAME, --rewriter=NAME — use rewrite strategy NAME: 'jitty' = jitty rewriting (the default), 'jittyc' = compiled jitty rewriting, 'jittyp' = jitty rewriting with prover. Pick your fighter 💅
  • --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. Shhh, no warnings, we’re chilling 🤫
  • -v, --verbose — display short log messages.
  • -d, --debug — display detailed log messages. Detective mode: activated 🔍
  • --log-level=LEVEL — display log messages up to and including level; either warn, verbose, debug or trace.
  • -h, --help — display help information. When in doubt, ask for help, bestie 🫶
  • --version — display version information.
  • --help-all — display help information, including hidden and experimental options. Secret menu energy 👀

🌸 AUTHOR 🌸

Written by Muck van Weerdenburg. Give them flowers, fr fr 💐

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. Do it, bestie — bugs deserve to be seen and fixed ✨

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. Don’t come for them if it breaks, okay? 😭

🌈 SEE ALSO 🌈

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

xoxo, bestie — this is lpssim from the mCRL2 toolset 202507.0...., dated October 2026 💅✨

📦 where this page comes from