changed the tlc.jar from 1.8 to 1.7

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Apache License 2.0

28 stars 2 forks source link

Closed ivan-gavran closed 2 years ago

ivan-gavran commented 2 years ago

Fixes #53

danwt commented 2 years ago

Hey @ivan-gavran , did you use git large file storage to track the jar?

(Maybe this comment helps too).

danwt commented 2 years ago

Please go ahead and merge and make changes as you wish @ivan-gavran