Menu
I want to reuse the same Dafny code in several programs. Is it possible to include one Dafny file in another? The manual does not describe any way to do it.
772
Yes, in December 2013 support for an "include" statement was added to Dafny, the syntax is:
include "Includee.dfy"
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With