quickcheck 0.7.1

Automatic property based testing with shrinking.
Documentation 
au BufWritePost *.rs silent!make ctags > /dev/null 2>&1