Comment by riffraff

very cool project! Out of curiosity, what is the overhead of a program with-contracts vs one without them? It kind of looks like a JIT should be able to optimize away most of the guards.

Also, I believe other DBC platforms had options to disable run time enforcing of contracts, is this possible somehow with CFCS ?