Permalink
Browse files

regression tests...

  • Loading branch information...
leepike committed Nov 4, 2011
1 parent 70ef04e commit 222ccb9b1bccaeffacc8ac8ab0db809417716366
Showing with 6 additions and 1 deletion.
  1. +5 −1 Tests/Test.hs
  2. +1 −0 copilot.cabal
View
@@ -12,6 +12,7 @@ import qualified Prelude as P
import Language.Copilot hiding (even, odd)
import Copilot.Compile.C99
+import System.Directory (removeFile)
--------------------------------------------------------------------------------
--
@@ -105,7 +106,10 @@ main = do
putStrLn ""
putStrLn "Atom compilation:"
reify spec >>= compile defaultParams
- cleanup
+ cleanUp
+ putStrLn "*********************************"
+ putStrLn " Ok, things seem to work. Enjoy!"
+ putStrLn "*********************************"
-- Don't assume SBV is installed.
-- putStrLn "Check equivalence:"
View
@@ -46,3 +46,4 @@ executable copilot-regression
, copilot-language
, copilot-libraries
, copilot-c99
+ , directory >= 1.1

0 comments on commit 222ccb9

Please sign in to comment.