From 76e9b994258d9af87868ba9f420db4ee1c29de67 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 13 May 2019 20:50:01 +0100 Subject: Format with brittany --- src/VeriFuzz/Sim/Yosys.hs | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) (limited to 'src/VeriFuzz/Sim/Yosys.hs') diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs index 8552d89..3081a65 100644 --- a/src/VeriFuzz/Sim/Yosys.hs +++ b/src/VeriFuzz/Sim/Yosys.hs @@ -99,15 +99,10 @@ runEquivYosys yosys sim1 sim2 srcInfo = do logger "Yosys: equivalence check" run_ (yosysPath yosys) [toTextIgnore checkFile] logger "Yosys: equivalence done" - where - checkFile = - fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] + where checkFile = fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] -runEquiv :: (Synthesiser a, Synthesiser b) - => a - -> b - -> SourceInfo - -> ResultSh () +runEquiv + :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> ResultSh () runEquiv sim1 sim2 srcInfo = do dir <- liftSh pwd liftSh $ do @@ -129,5 +124,5 @@ runEquiv sim1 sim2 srcInfo = do 2 -> ResultT . return $ Fail EquivFail 124 -> ResultT . return $ Fail TimeoutError _ -> ResultT . return $ Fail EquivError - where - exe dir name e = void . errExit False . logCommand dir name . timeout e + where + exe dir name e = void . errExit False . logCommand dir name . timeout e -- cgit