Permalink
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (11 sloc) 230 Bytes
[run]
omit = pysmt/cmd/*
pysmt/test/*
[report]
exclude_lines =
# Disable specific lines
pragma: no cover
# Skip methods that are not implemented
raise NotImplementedError
# Skip main methods
main()