
# The Makefile has its own non-trivial logic for determining which files
# to include in which mode.
includes = []

[options]
# Options that help support more values of consuming context options
# (mostly turning on any more restrictive verification)
track-print-effects = true
enforce-determinism = false
reads-clauses-on-methods = true

# Options important for sustainable development
# of the libraries themselves.
resource-limit = 1000000
warn-redundant-assumptions = true
warn-contradictory-assumptions = true

library = [
  "../../../binaries/DafnyStandardLibraries.doo"
]
