6 ms·
Linearizability testing S2 with deterministic simulation
- akshayshah 1y agoI’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!