Test with loom (or shuttle) and/or fuzz testing

salsa-rs / salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

https://salsa-rs.netlify.app/

Apache License 2.0

2.12k stars 150 forks source link

Test with loom (or shuttle) and/or fuzz testing #496

Open nikomatsakis opened 3 months ago

nikomatsakis commented 3 months ago

Salsa has some intricate algorothms. We should be doing more thorough fuzz testing and/or testing with loom, particularly as we gain more APIs to support parallelism (#495).