Personally, I don't do tests on my projects, it's a weak guarantee in my opinion. I prefer formal proofs... Working on a language for automatically managing the same.. Gothub.com/onchere/whack