// Purpose:
// Check that \DexExpectStepKind correctly applies a penalty when
// unexpected step kinds are encountered.
//
// 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_kinds.cpp:
int abs(int i){
return i < 0? i * -1: i;
}
int main()
{
volatile int x = 2;
for (int i = 0; i < x; ++i) {
abs(i);
}
return 0;
}
// DexExpectStepKind('FUNC', 5)
// DexExpectStepKind('FUNC_EXTERNAL', 2)
// DexExpectStepKind('VERTICAL_BACKWARD', 2)