forked from dafny-lang/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
/
projectFile.dfy.expect
23 lines (18 loc) · 1.12 KB
/
projectFile.dfy.expect
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
input.dfy(6,8): Warning: Shadowed local-variable name: x
Dafny program verifier did not attempt verification
Dafny program verifier did not attempt verification
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 input.dfy
Warning: only Dafny project files named dfyconfig.toml are recognised by the Dafny IDE.
Warning: option 'does-not-exist' that was specified in the project file, is not a valid Dafny option.
Dafny program verifier did not attempt verification
Error: Could not parse value '3' for option 'warn-shadowing' that has type 'Boolean'
input.dfy(6,8): Warning: Shadowed local-variable name: x
moreInput.dfy(6,8): Warning: Shadowed local-variable name: x
Dafny program verifier did not attempt verification
input.dfy(6,8): Warning: Shadowed local-variable name: x
Dafny program verifier did not attempt verification
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 the_program