// Purpose: | |
// Check that \DexExpectStepKind correctly applies a penalty when | |
// unexpected step kinds are encountered. | |
// | |
// UNSUPPORTED: system-darwin | |
// | |
// RUN: not %dexter_regression_test -- %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) |