From 82a64ef64602227daefc3ff96908d6c1b2303b61 Mon Sep 17 00:00:00 2001
From: Akshay <nerdy@peppe.rs>
Date: Wed, 14 Oct 2020 14:15:45 +0530
Subject: add PBTs for arithmetic operators

 - commutativity of addition
 - commutativity of multiplication
---
 tests/Main.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/Main.hs')

diff --git a/tests/Main.hs b/tests/Main.hs
index c4e0d9b..87dedbc 100644
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -1,6 +1,6 @@
 module Main where
 
-import           Properties
+import           Properties      (runTests)
 import           Test.QuickCheck
 
-main = tests
+main = runTests
-- 
cgit v1.2.3