This repo contains a small library for creating JSON files that are ingested by Tyche for visualizing test results produced by Mica (see tyche_utils.ml).
- Note: the Tyche-Mica integration is still work in progress (contact Ernest Ng for more details).
- For more details about Tyche, we refer the reader to the UIST '24 paper by Goldstein et al.