Use an invariant that has both success and failure cases and hit them both in the test to demonstrate it is being used more convincingly.
Use an invariant that has both success and failure cases and hit them both in the test to demonstrate it is being used more convincingly.

jml/flocker,adamtheturtle/flocker,w4ngyi/flocker,moypray/flocker,w4ngyi/flocker,hackday-profilers/flocker,Azulinho/flocker,LaynePeng/flocker,w4ngyi/flocker,mbrukman/flocker,runcom/flocker,lukemarsden/flocker,LaynePeng/flocker,wallnerryan/flocker-profiles,LaynePeng/flocker,agonzalezro/flocker,wallnerryan/flocker-profiles,jml/flocker,lukemarsden/flocker,achanda/flocker,mbrukman/flocker,Azulinho/flocker,1d4Nf6/flocker,AndyHuu/flocker,wallnerryan/flocker-profiles,1d4Nf6/flocker,achanda/flocker,moypray/flocker,mbrukman/flocker,agonzalezro/flocker,jml/flocker,moypray/flocker,runcom/flocker,lukemarsden/flocker,AndyHuu/flocker,adamtheturtle/flocker,achanda/flocker,runcom/flocker,hackday-profilers/flocker,Azulinho/flocker,1d4Nf6/flocker,adamtheturtle/flocker,AndyHuu/flocker,agonzalezro/flocker,hackday-profilers/flocker