on master help sign in
Remove unfinished test stub

Fixes #158

commit297a7e73275cbf69faa51e0acc1c9b183342b537 authorEric Mertens <emertens@galois.com> dateMon 30 Jul 2018, 09:41 (8 years ago) parent188cc1a
2 files changed−29
test/VerifyAttributeOps.hs−9 vty.cabal−20
test/VerifyAttributeOps.hsdeleted−9
@@ -1,9 +0,0 @@
1−module VerifyAttributeOps where
2−
3−import Verify.Graphics.Vty.Attributes
4−
5−import Verify
6−
7−tests :: IO [Test]
8−tests = return []
9−
vty.cabal−20
@@ -148,26 +148,6 @@ executable vty-demo
148148 microlens-mtl,
149149 mtl >= 1.1.1.0 && < 2.3
150150
151−test-suite verify-attribute-ops
152− default-language: Haskell2010
153− default-extensions: ScopedTypeVariables
154− type: detailed-0.9
155− hs-source-dirs: test
156− test-module: VerifyAttributeOps
157− build-depends: vty,
158− Cabal >= 1.20,
159− QuickCheck >= 2.7,
160− random >= 1.0 && < 1.2,
161− base >= 4.8 && < 5,
162− bytestring,
163− containers,
164− deepseq >= 1.1 && < 1.5,
165− mtl >= 1.1.1.0 && < 2.3,
166− text >= 0.11.3,
167− unix,
168− utf8-string >= 0.3 && < 1.1,
169− vector >= 0.7
170−
171151test-suite verify-using-mock-terminal
172152 default-language: Haskell2010
173153 default-extensions: ScopedTypeVariables