// Purpose:
// Check that \DexExpectStepOrder correctly applies a penalty for steps
// found out of expected order.
//
// UNSUPPORTED: system-darwin
//
// RUN: %dexter_regression_test_build %s -o %t
// RUN: not %dexter_regression_test_run --binary %t -- %s | FileCheck %s
// CHECK: expect_step_order.cpp:
int main()
{
volatile int x = 1; // DexExpectStepOrder(3)
volatile int y = 1; // DexExpectStepOrder(1)
volatile int z = 1; // DexExpectStepOrder(2)
return 0;
}