| // Purpose: |
| // Check number of step lines are correctly reported in json output. |
| // |
| // REQUIRES: system-linux |
| // |
| // RUN: %dexter_regression_test --verbose -- %s | FileCheck %s |
| // CHECK: limit_steps_check_json_step_count.cpp |
| // CHECK: ## BEGIN ## |
| // CHECK-COUNT-3: json_step_count.cpp", |
| |
| int main() { |
| int result = 0; |
| for(int ix = 0; ix != 10; ++ix) { |
| int index = ix; |
| result += index; // DexLabel('check') |
| } |
| } |
| |
| // DexExpectWatchValue('index', 2, 7, 9, on_line=ref('check')) |
| // DexLimitSteps('ix', 2, 7, 9, on_line=ref('check')) |