Hacker News new | past | comments | ask | show | jobs | submit login

How else are you going to check the contracts at compile time?

I honestly don't know if that's how DrNim works or if there are other ways to achieve that.

But a similar tool for Python does it exactly this way: https://github.com/pschanely/CrossHair "CrossHair works by repeatedly calling your functions with symbolic inputs. It uses an SMT solver (a kind of theorem prover) to explore viable execution paths and find counterexamples for you."

...so that's where I got the idea that DrNim is probably doing the same




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: