Linearizability testing S2 with deterministic simulation

7 anishathalye 1 8/30/2025, 1:45:21 PM s2.dev ↗

Comments (1)

akshayshah · 11h ago

I’ve been exploring porcupine lately too - the visualizations are especially useful when debugging. It pairs exceptionally well with any DST setup.

Thanks for the great tools, Anish!