Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed.#5812

Merged

lemmy merged 1 commit intomainfrom mku-TraceAlias

Nov 3, 2023

+1-3

Commits on Nov 3, 2023

Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed.
lemmy
committed