informalsystems / modelator-py

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

Feature: windows support #50

Open danwt opened 2 years ago

danwt commented 2 years ago

2285f5b only explicitly supports unix like OS's but perhaps some effort should be invested to support windows too.

Supporting three OS's is a lot of work though and requires rigorous testing.