Spec Checking

The tool orchestra adds spec checking by default to the, the RAT and FN specs that you can put on functions. I think of specs and tests as sort of mutually supporting each other in a sense, right? One of the great things about spec is you don't have to be perfectly precise. And I think it gives you this really nice smooth curve where you can kind of opt into all the different layers which are good for your project.