Constant Field Values

Contents

• org.dafny.*

org.dafny.*

org.dafny.gradle.plugin.DafnyPlugin

Modifier and Type	Constant Field	Value
public static final String	META_INF_DOO_FILE_NAME	"DafnyProgram.doo"