blob: 56965d92f351cd1c2b96513a8de19b288c881fdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// RUN: %dafny /compile:3 "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
method Main()
{
var f := Inc;
print(f(4));
}
function method Inc(x: int): int
{
x + 2
}
|