dexter/feature_tests/commands/perfect/expect_step_order.cpp

// Purpose:
//      Check that \DexExpectStepOrder applies no penalty when the expected
//      order is found.
//
// UNSUPPORTED: system-darwin
//
// RUN: %dexter_regression_test -- %s | FileCheck %s
// CHECK: expect_step_order.cpp:

int main()
{
  volatile int x = 1; // DexExpectStepOrder(1)
  volatile int y = 1; // DexExpectStepOrder(2)
  volatile int z = 1; // DexExpectStepOrder(3)
  return 0;
}