diff options
| author | Akshay <[email protected]> | 2020-10-14 09:45:45 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2020-10-14 09:45:45 +0100 |
| commit | 82a64ef64602227daefc3ff96908d6c1b2303b61 (patch) | |
| tree | 0c4604f2216c148ad0bd010153e56c9173e08361 /tests/Main.hs | |
| parent | 8b08ea946d1fc73d8363efb633b8063f750520bf (diff) | |
add PBTs for arithmetic operators
- commutativity of addition
- commutativity of multiplication
Diffstat (limited to 'tests/Main.hs')
| -rw-r--r-- | tests/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ | |||
| 1 | module Main where | 1 | module Main where |
| 2 | 2 | ||
| 3 | import Properties | 3 | import Properties (runTests) |
| 4 | import Test.QuickCheck | 4 | import Test.QuickCheck |
| 5 | 5 | ||
| 6 | main = tests | 6 | main = runTests |