| 1 | // The dbgeng driver doesn't support \DexCommandLine yet. |
| 2 | // UNSUPPORTED: system-windows |
| 3 | // |
| 4 | // RUN: %dexter_regression_test_c_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 | |