Okay, enough complaining. Soteria is actually quite awesome, and I've been able to prove some interesting invariants on iddqd with it. It is a tool in the toolbox -- it won't replace the extensive model-based tests -- but it can prove things across all possible kinds of adversarial inputs
rain 🌦️
Gosh I hate being reminded of how jank most language ecosystems are
