From 13f51c2044fb22f6b3cb8c674a23fe636f7fb33d Mon Sep 17 00:00:00 2001
From: Florian Pritz <bluewind@xinu.at>
Date: Sun, 19 Aug 2018 14:48:47 +0200
Subject: Reorganize tests

Signed-off-by: Florian Pritz <bluewind@xinu.at>
---
 .proverc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .proverc

(limited to '.proverc')

diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..8cc148d
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+-r
+t
-- 
cgit v1.2.3-24-g4f1b