Linearizability testing S2 with deterministic simulation

1 comments

• $akshayshah 15 hours 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!