vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

Running status still shows ``Checkpointing`` even after checkpointing has completed

Open heidihoward opened this issue 2 years ago • 0 comments

Checkpointing successfully finished ~20 mins ago (and model checking has resumed) but the running status still shows Checkpointing. I am running v1.5.4.

image

heidihoward avatar Jun 21 '22 16:06 heidihoward