Investigation: change to support TLA+ coverage (based on .out files)
Primary LanguageTypeScriptMIT LicenseMIT