From 7777952f38b24f26f29c2327296494f32d5f49a9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 27 Jul 2019 00:20:46 +0200
Subject: Add benchmark

---
 test/Benchmark.hs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/Benchmark.hs

diff --git a/test/Benchmark.hs b/test/Benchmark.hs
new file mode 100644
index 0000000..5893b81
--- /dev/null
+++ b/test/Benchmark.hs
@@ -0,0 +1,7 @@
+module Main where
+
+import           Criterion (benchmark, nfAppIO)
+import           VeriFuzz
+
+main :: IO ()
+main = benchmark $ nfAppIO (proceduralIO "top") defaultConfig
-- 
cgit