Skip to content
Permalink
Browse files

Coverage: Omit test/ directory

  • Loading branch information
marcogario committed Oct 16, 2016
1 parent 8bb78a6 commit 78beecc32ed0cd1016a4904db67953d4502d6c04
Showing with 1 addition and 0 deletions.
  1. +1 −0 .coveragerc
@@ -1,5 +1,6 @@
[run]
omit = pysmt/cmd/*
pysmt/test/*

[report]
exclude_lines =

0 comments on commit 78beecc

Please sign in to comment.
You can’t perform that action at this time.