1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
-----------------------------------------------------------------------------
-- |
-- Module : TestSuite.Puzzles.MagicSquare
-- Copyright : (c) Levent Erkok
-- License : BSD3
-- Maintainer: erkokl@gmail.com
-- Stability : experimental
--
-- Test suite for Documentation.SBV.Examples.Puzzles.MagicSquare
-----------------------------------------------------------------------------
{-# OPTIONS_GHC -Wall -Werror #-}
module TestSuite.Puzzles.MagicSquare(tests) where
import Documentation.SBV.Examples.Puzzles.MagicSquare
import Utils.SBVTestFramework
tests :: TestTree
tests =
testGroup "Puzzles.MagicSquare"
[ testCase "magic 2" (assertIsntSat (mkMagic 2))
, testCase "magic 3" (assertIsSat (mkMagic 3))
]
mkMagic :: Int -> Symbolic SBool
mkMagic n = (isMagic . chunk n) `fmap` mkFreeVars (n*n)
|
