I'm confused. Does this actually statically checks, or is this testing?
Like, does it tag everything with type info and walk the code statically without executing it and checks that all connections respect their types?
It seems to me it does that for non dependent types, and then it does generative testing for the dependent types? And can also add runtime contracts for them?
Like, does it tag everything with type info and walk the code statically without executing it and checks that all connections respect their types?
It seems to me it does that for non dependent types, and then it does generative testing for the dependent types? And can also add runtime contracts for them?