Permalink
Browse files

More fixing up tests...

  • Loading branch information...
1 parent 317f067 commit aadab6eb5eca69072f441c6741449022b34b38c4 @leepike committed Dec 31, 2011
Showing with 9 additions and 3 deletions.
  1. +2 −1 Examples/Examples.hs
  2. +7 −1 Examples/Test.hs
  3. +0 −1 copilot.cabal
View
@@ -10,8 +10,9 @@ module Examples ( examples ) where
import qualified Prelude as P
import Language.Copilot hiding (even, odd)
-import Copilot.Compile.C99
+--import Copilot.Compile.C99
import qualified Copilot.Tools.CBMC as C
+
--------------------------------------------------------------------------------
--
View
@@ -6,7 +6,10 @@
module Main where
-import System.Directory (removeDirectoryRecursive, doesDirectoryExist)
+import System.Directory ( removeDirectoryRecursive
+ , doesDirectoryExist
+ , doesFileExist
+ , removeFile )
import qualified Copilot.Compile.C99 as C99
import qualified Copilot.Compile.SBV as SBV
import Control.Monad (when)
@@ -99,5 +102,8 @@ cleanup = do
when b0 (removeDirectoryRecursive SBV.sbvDirName)
b1 <- doesDirectoryExist C99.c99DirName
when b1 (removeDirectoryRecursive C99.c99DirName)
+ let cbmc = "cbmc_driver.c"
+ b2 <- doesFileExist cbmc
+ when b2 (removeFile cbmc)
--------------------------------------------------------------------------------
View
@@ -48,6 +48,5 @@ executable copilot-regression
, copilot-sbv
, copilot-cbmc
, copilot-c99 >= 0.2
-
, directory >= 1.1
, random

0 comments on commit aadab6e

Please sign in to comment.