Linearizability testing S2 with deterministic simulation

Posted by anishathalye on Saturday August 30, 2025 @09:45AM
from the s2.dev dept.

( 1 comment | 2 points | on HN )

Re:Linearizability testing S2 with deterministic simulation by akshayshah on Saturday August 30, 2025 @10:25PM (#45079788)

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!

[ Parent | on HN ]