LEC: the verdict names the miter log this run wrote - #269

LEC: the verdict names the miter log this run wrote#269

oharboe wants to merge 1 commit into

keplertech:mainkeplertech/kepler-formal:mainfrom

oharboe:lec-log-names-miter-logoharboe/kepler-formal:lec-log-names-miter-logCopy head branch name to clipboard