Skip to content
Browse files

Add .proverc file.

  • Loading branch information...
1 parent 28bad64 commit 3129730fa3eb7fc4586300c23317642760c12d15 @NetPenguin committed Sep 30, 2013
Showing with 8 additions and 0 deletions.
  1. +8 −0 .proverc
View
8 .proverc
@@ -0,0 +1,8 @@
+--lib
+--verbose
+--color
+--recurse
+--merge
+--failures
+--timer
+--trap

0 comments on commit 3129730

Please sign in to comment.
Something went wrong with that request. Please try again.