enable contract checking during default make test
enable contract checking during default make test

Gradual-Typing/Grift,Gradual-Typing/Grift,akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,akuhlens/schml,akuhlens/schml