tla-export: the trace spec selects the logged step's arm - #62

tla-export: the trace spec selects the logged step's arm#62

kiranandcode merged 7 commits into

mainBasisResearch/verus:mainfrom

kg/trace-spec-armBasisResearch/verus:kg/trace-spec-armCopy head branch name to clipboard