diff options
author | sanine <sanine.not@pm.me> | 2023-12-03 23:44:33 -0600 |
---|---|---|
committer | sanine <sanine.not@pm.me> | 2023-12-03 23:44:33 -0600 |
commit | 135ce23bd188c9351c8e9dde783a713b72dff8f3 (patch) | |
tree | 5d2338350279fef757b58da744a9776cc4b9164e /test/ProposalTest.hs | |
parent | 450ac00012ba57fc70d655c5a8c4fb8eb5e6d5d3 (diff) |
implement Combinable for LatticePropList
Diffstat (limited to 'test/ProposalTest.hs')
-rw-r--r-- | test/ProposalTest.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/ProposalTest.hs b/test/ProposalTest.hs new file mode 100644 index 0000000..1b78c69 --- /dev/null +++ b/test/ProposalTest.hs @@ -0,0 +1,10 @@ +module ProposalTest (suite) where + +import Test.Tasty +import Test.Tasty.HUnit +import Proposal + +suite :: TestTree +suite = testGroup "proposal tests" $ + [ + ] |