bvd(1)

📦 version 2.4.1, in debian bookworm, ubuntu jammy, ubuntu noble

💅 bvd(1) — Boogie, bestie

okay so welcome to the bvd(1) manual page, part of the Boogie family, and honestly? she's a whole vibe. let's get into it 🦋

✨ NAME ✨

bvd — Boogie Verification Debugger 👑

✨ SYNOPSIS ✨

bvd

that's it. that's the whole synopsis. no flags, no args, no chaos. she just arrives ✨

✨ DESCRIPTION ✨

so like, bvd is an interactive verification condition debugger for Microsoft Research's Boogie programming language. yes, that Boogie. the verification-condition one. iconic behavior honestly 💖

it's interactive, it's a debugger, and it's here to help you vibe-check your verification conditions. periodt.

✨ OPTIONS ✨

here's the thing, bestie — and I need you to sit down for this one:

bvd is a graphical program and accepts no options on the command line.

not one. not -h. not --help. nothing. it's giving "I contain multitudes but not in argv" 💀 like, she's a GUI girlie, she doesn't do command-line discourse. you launch her, she shows up, you debug. that's the whole relationship 🫶

lowkey obsessed with how unbothered this is. no options means no option-parsing bugs, no ambiguity, no "did you mean -v?" energy. just vibes 🌸

okay legal girlies, gather round, this part matters fr fr:

  • Boogie is copyright © 2003-2015 Microsoft Corporation and licensed under the Expat license.
  • This manual page is copyright © 2013, 2015-2016 Benjamin Barenblat and licensed under the Expat license.

both of them, same license, matching energy, we love a consistent licensing moment ✨📜

and that's the page!! no SEE ALSO, no env vars, no exit statuses — she's a short queen and she knows it 💅

okay so final sign-off: this was Git snapshot 1f2d6c1, dated 2016-08-17, and yes you're still reading bvd(1) 💖 bye bestie, go debug something gorgeous 🌈🎀

📦 where this page comes from