1 | // Purpose: |
2 | // Check that \DexExpectWatchValue float_range=0.5 considers a range |
3 | // difference of 0.49999 to be an expected watch value for multple values. |
4 | // |
5 | // UNSUPPORTED: system-darwin |
6 | // |
7 | // RUN: %dexter_regression_test_build %s -o %t |
8 | // RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s |
9 | // CHECK: float_range_multiple.cpp: |
10 | |
11 | int main() { |
12 | float a = 1.0f; |
13 | float b = 100.f; |
14 | a = a + 0.4999f; |
15 | a = a + b; // DexLabel('check1') |
16 | return a; //DexLabel('check2') |
17 | } |
18 | |
19 | // DexExpectWatchValue('a', '1.0', '101.0', from_line=ref('check1'), to_line=ref('check2'), float_range=0.5) |
20 | |