3

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.

lexicalscope
  • 7,158
  • 6
  • 37
  • 57

1 Answers1

2

Yes, in December 2013 support for an "include" statement was added to Dafny, the syntax is:

include "Includee.dfy"
lexicalscope
  • 7,158
  • 6
  • 37
  • 57