diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-19 00:33:12 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-19 00:33:12 +0100 |
commit | 5253b49c295213c80b006bf6e1063d2f09abb66e (patch) | |
tree | 51e92626f1ffd36440d08202b7f51664344b580b | |
parent | 72ceee9cd751cfa0dc799677325ff2bfbc0f7550 (diff) | |
download | verismith-5253b49c295213c80b006bf6e1063d2f09abb66e.tar.gz verismith-5253b49c295213c80b006bf6e1063d2f09abb66e.zip |
Equivalence test now running
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 31503cf..180ed4f 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -237,8 +237,7 @@ pop :: (MonadBaseControl IO m, MonadSh m) => FilePath -> m a -> m a pop f a = do dir <- liftSh pwd liftSh $ cd f - ret <- a - liftSh $ cd dir + ret <- finally a . liftSh $ cd dir return ret equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m () |