1 | // Purpose: |
---|---|
2 | // Check that \DexExpectWatchValue float_range=0.0 matches only exact |
3 | // values. |
4 | // |
5 | // UNSUPPORTED: system-darwin |
6 | // |
7 | // RUN: %dexter_regression_test_build %s -o %t |
8 | // RUN: not %dexter_regression_test_run --binary %t -- %s | FileCheck %s |
9 | // CHECK: float_range_zero_nonmatch.cpp: |
10 | |
11 | int main() { |
12 | float a = 1.0f; |
13 | return a; //DexLabel('check') |
14 | } |
15 | |
16 | // DexExpectWatchValue('a', '1.0000001', on_line=ref('check'), float_range=0.0) |
17 |