search

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Apache License 2.0
28 stars 2 forks source link

Danwt/tlc 2.18 trace extraction hotfix #31

Closed danwt closed 2 years ago

danwt commented 2 years ago

Fixes error where TLC lines like

Progress(5) at 2022-02-10 11:11:28: 426,426 states generated (426,426 s/min), 96,091 distinct states found (96,091 ds/min), 71,149 states left on queue.

were treated as terminal delimiters.