/specstrom

A new specification language for Quickstrom

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Specstrom

Build and test

Running tests

The regular Cabal way runs all tests:

cabal test

But you can also use ghcid to watch files and rerun tests on changes:

chmod go-w .ghci
HEDGEHOG_COLOR=1 ghcid test/Main.hs --test main