test-case-gen-1.0

Casper Thule Hansen

@cth1208

93175f49 · Updated readme · Jun 26, 2020

Release: test-case-gen-1.0

Working test case generator for TLA+ Model