1 | // Purpose: |
2 | // Test that \DexFinishTest can be used with a hit_count, so the test exits |
3 | // after the line referenced by \DexFinishTest has been stepped on a |
4 | // specific number of times. |
5 | // Tests using the default controller (no \DexLimitSteps). |
6 | // |
7 | // RUN: %dexter_regression_test_build %s -o %t |
8 | // RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s |
9 | // CHECK: default_hit_count.cpp |
10 | |
11 | int main() { |
12 | for (int x = 0; x < 10; ++x) |
13 | (void)0; // DexLabel('finish_line') |
14 | } |
15 | |
16 | // DexFinishTest(on_line=ref('finish_line'), hit_count=5) |
17 | // DexExpectWatchValue('x', 0, 1, 2, 3, 4, 5, on_line=ref('finish_line')) |
18 | |