invalidValue.toml(3,13): Error: Unexpected token `NoIncludes` for a value
invalidValue.toml(1,0): Warning: only Dafny project files named dfyconfig.toml are recognised by the Dafny IDE.
2
input.dfy(6,8): Warning: Shadowed local-variable name: x
Compilation failed because warnings were found and --allow-warnings is false
3
Error: file web.toml not found
4

Dafny program verifier did not attempt verification
5
input.dfy(10,0): Error: a function cannot be declared 'ghost' (it is 'ghost' by default when using --function-syntax:3)
1 parse errors detected in dfyconfig.toml
6
Only one project file can be used at a time. Both dfyconfig.toml and dfyconfig.toml were specified
7
dfyconfig.toml(1,0): Error: Dafny project files do not have the property includdddes
8
Warning: option 'does-not-exist' that was specified in the project file, is not a valid Dafny option.
invalidOption.toml(1,0): Warning: only Dafny project files named dfyconfig.toml are recognised by the Dafny IDE.
Compilation failed because warnings were found and --allow-warnings is false
9
Error: file doesNotExist.toml not found
10
dfyconfig.toml(1,0): Error: could not parse value '3' for option 'warn-shadowing' that has type 'Boolean'
11
input.dfy(6,8): Warning: Shadowed local-variable name: x
moreInput.dfy(6,8): Warning: Shadowed local-variable name: x
Compilation failed because warnings were found and --allow-warnings is false
12
input.dfy(6,8): Warning: Shadowed local-variable name: x
Compilation failed because warnings were found and --allow-warnings is false
13
input.dfy(3,7): Error: Duplicate member name: Foo
excluded.dfy(6,8): Warning: Shadowed local-variable name: z
input.dfy(6,8): Warning: Shadowed local-variable name: x
1 resolution/type errors detected in dfyconfig.toml
14
input.dfy(6,8): Warning: Shadowed local-variable name: x
Compilation failed because warnings were found and --allow-warnings is false
