modelator-py icon indicating copy to clipboard operation
modelator-py copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Feature: update TLC arguments for TLC 2.18

Open danwt opened this issue 2 years ago • 0 comments

Approximate location, for commit d989ea4, of relevant code to be changed.

Relevant TLC issue about new format dump feature.

danwt avatar Mar 29 '22 16:03 danwt