Linearizability testing S2 with deterministic simulation (opens in new tab)

(s2.dev)

7 pointsanishathalye6mo ago1 comments

1 comments

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!

j / k navigate · click thread line to collapse

(s2.dev)

7 pointsanishathalye6mo ago1 comments

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!

j / k navigate · click thread line to collapse