Development Tools

Dafny Checker

Check that Dafny code passes the verifier, without executing the code.


This plugin, called Dafny Checker, allows you to verify the correctness of your Dafny code without actually executing it. Simply input your Dafny code and the plugin will check if it passes the verifier. It’s a handy tool for developers looking to ensure the accuracy of their Dafny code. With Dafny Checker, you can catch any potential errors or bugs in your code before running it, saving you time and effort in the debugging process. It’s like having a personal code verifier by your side!

data statistics

Relevant Navigation

No comments

No comments...