diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..c96eebc
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+-I lib
+-j4