From 87755b11ffc9549fa89c94f4b1a05b5745495165 Mon Sep 17 00:00:00 2001 From: Nick Marino Date: Mon, 12 Mar 2018 18:03:45 -0400 Subject: [PATCH] Add comments to EQC test explaining what it does --- test/adapter_state_eqc_test.exs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/test/adapter_state_eqc_test.exs b/test/adapter_state_eqc_test.exs index 77ccec2..badadee 100644 --- a/test/adapter_state_eqc_test.exs +++ b/test/adapter_state_eqc_test.exs @@ -1,6 +1,10 @@ # Skip EQC testing if we don't have it installed: if Code.ensure_compiled?(:eqc) do defmodule AdapterStateEqcTest do + # This test runs a series of database operations through the adapter + # and checks that everything appears to stay consistent and follow + # all the rules the way we expect it to. + use ExUnit.Case use EQC.ExUnit use EQC.StateM