Permalink
Fetching contributors…
Cannot retrieve contributors at this time
executable file 7 lines (5 sloc) 161 Bytes
#!/bin/bash
export PYTHONDONTWRITEBYTECODE=True
nosetests -A "not slow" \
--with-xunit \
--with-coverage --cover-html --cover-package=pysmt