diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -1,5 +1,5 @@
 Name:           smtLib
-Version:        1.0
+Version:        1.0.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
@@ -43,24 +43,3 @@
   type:     git
   location: git://github.com/yav/smtLib.git
 
-executable smtLib-test-1
-
-  hs-source-dirs: test
-
-  main-is: Test1.hs
-
-  build-depends:
-    base    < 5,
-    smtLib,
-    process
-
-executable smtLib-test-2
-
-  hs-source-dirs: test
-
-  main-is: Test2.hs
-
-  build-depends:
-    base    < 5,
-    smtLib,
-    process
diff --git a/test/Test1.hs b/test/Test1.hs
deleted file mode 100644
--- a/test/Test1.hs
+++ /dev/null
@@ -1,32 +0,0 @@
-{-# LANGUAGE OverloadedStrings #-}
-import SMTLib1.QF_AUFBV as BV
-import System.Process
-import System.IO
-
-main :: IO ()
-main =
-  do let txt = show (pp script)
-     putStrLn txt
-     putStrLn (replicate 80 '-')
-     -- putStrLn =<< readProcess "yices" ["-smt", "-tc"] txt
-     putStrLn =<< readProcess "yices" ["-f"] txt
-
-
-script :: Script
-script = Script "Test"
-  [ logic "QF_AUFBV"
-  , constDef "a" (tBitVec 8)
-  , goal (BV.concat (bv 1 8) (bv 3 8) === bv 259 16)
-  ]
-
-
-script1 :: Script
-script1 = Script "Test"
-  [ logic "QF_BV"
-  , constDef "x" (tBitVec 8)
-  , assume (c "x" === bv 0 8)
-  , goal (c "x" ===  bv 256 8)
-  ]
-
-c x = App x []
-
diff --git a/test/Test2.hs b/test/Test2.hs
deleted file mode 100644
--- a/test/Test2.hs
+++ /dev/null
@@ -1,25 +0,0 @@
-{-# LANGUAGE OverloadedStrings #-}
-import SMTLib2
-import SMTLib2.Core
-import SMTLib2.BitVector
-import System.Process
-import System.IO
-
-main :: IO ()
-main =
-  do let txt = show (pp script)
-     putStrLn txt
-     putStrLn (replicate 80 '-')
-     putStrLn =<< readProcess "stp" ["--SMTLIB2"] txt
-
-
-script :: Script
-script = Script
-  [ CmdSetLogic "QF_BV"
-  , CmdDeclareFun "x" [] (tBitVec 4)
-  , CmdAssert (c "x" === bv 3 4)
-  , CmdCheckSat
-  , CmdExit
-  ]
-
-c x = app x []