Skip to content

Automata Testing

Eric Steen edited this page Jun 3, 2020 · 2 revisions

We use ExUnit for unit and integration tests, and property-based testing where applicable.

Clone this wiki locally