The Limbo team seems to be leaning heavily into deterministic simulation testing (DST) and one of the cofounders on a recent podcast was very enthusiastic about

The Limbo team seems to be leaning heavily into deterministic simulation testing (DST) and one of the cofounders on a recent podcast was very enthusiastic about the benefits of the approach. https://github.com/tursodatabase/limbo/tree/main/simulator https://github.com/tursodatabase/limbo/tree/main/simulator https://changelog.com/podcast/626 https://changelog.com/podcast/626