1 // Purpose:
2 // Check that \DexExpectStepOrder correctly applies a penalty for steps
3 // found out of expected order.
4 //
5 // UNSUPPORTED: system-darwin
6 //
7 // RUN: %dexter_regression_test_build %s -o %t
8 // RUN: not %dexter_regression_test_run --binary %t -- %s | FileCheck %s
9 // CHECK: expect_step_order.cpp:
10
main()11 int main()
12 {
13 volatile int x = 1; // DexExpectStepOrder(3)
14 volatile int y = 1; // DexExpectStepOrder(1)
15 volatile int z = 1; // DexExpectStepOrder(2)
16 return 0;
17 }
18