Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Show failure tests

  • Loading branch information...
commit 9e441e5a1ef891582848fec91678342cc67f37eb 1 parent 0db1ac8
aereal authored
Showing with 1 addition and 0 deletions.
  1. +1 −0  .proverc
View
1  .proverc
@@ -1,3 +1,4 @@
--color
-Ilib
-It/lib
+--failure
Please sign in to comment.
Something went wrong with that request. Please try again.