1 | // The dbgeng driver doesn't support \DexCommandLine yet. |
2 | // UNSUPPORTED: system-windows |
3 | // |
4 | // RUN: %dexter_regression_test_build %s -o %t |
5 | // RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s |
6 | // CHECK: command_line.c: |
7 | |
8 | int main(int argc, const char **argv) { |
9 | if (argc == 4) |
10 | return 0; // DexLabel('retline') |
11 | |
12 | return 1; // DexUnreachable() |
13 | } |
14 | |
15 | // DexExpectWatchValue('argc', '4', on_line=ref('retline')) |
16 | |
17 | // Three args will be appended to the 'default' argument. |
18 | // DexCommandLine(['a', 'b', 'c']) |
19 | |