// Purpose: test that we can parse modules with no control block
// Description: The test contains a module without a control block.
// Expectation: UCLID should parse the file without throwing any errors
// Validation: delete this line: https://github.com/uclid-org/uclid/blob/af3b470cc3ca860a216faf75f25d8783362b6df3/src/main/scala/uclid/UclidMain.scala#L176

// checks we can parse a file without a control block
// in the main module without throwing ugly errors
module main {
  var y: integer;

  procedure foo()
    modifies y;
  {
    y = 0;
  }
}
