Commit 0912fea

Shon Feder

authored

Merge pull request #1397 from informalsystems/1396/factor-out-client

Move Apalache client into its own module

2 parents d3346e1 + aa27c51 commit 0912feaCopy full SHA for 0912fea

2 files changed

+435

-416

lines changed

+435

-416

lines changed

Comments

(0)