marina-p e47ce5461f Search mode default and doc updates (#887) ... Per discussion in #823, updating the README and updating the default mode to be `bfs-cheap`. Originally, the reasoning behind the default value of `bfs-fast` was that it provides different coverage from `fuzz-lean` (which is similar to `bfs-cheap` in that it does not exercise all of the renderings). However, many users only want to run one fuzzing mode (e.g. for evaluation purposes, having just one job in CI/CD), and that is typically the `fuzz` mode (since we document it to provide the best coverage). Updating the documentation to reflect this.		2024-04-11 17:01:42 -07:00
..
contributor-guide	Update README with instructions on how to ask questions. (#26)	2020-10-30 21:22:55 -07:00
user-guide	Search mode default and doc updates (#887)	2024-04-11 17:01:42 -07:00