Test/dafny0/snapshots/Inputs/Snapshots4.v1.dfy


1
2
3
4
5
6
7
8
9
10
11
12

method M()
{
  if (*)
  {
    assert 1 != 1;  // error
  }
  else
  {
    assert 0 == 0;
    assert 2 != 2;  // error
  }
}