tests:
  # Valid
  - name: "Function typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/func.jk"
    exit_code: 0
  - name: "Function argument mapping typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/function_type_mapping.jk"
    exit_code: 0
  - name: "Variable typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/variables.jk"
    exit_code: 0
  - name: "IfElse typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/if_else.jk"
    exit_code: 0
  - name: "BinaryOp typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/binary_op.jk"
    exit_code: 0
  - name: "Block typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/block.jk"
    exit_code: 0
  - name: "Function with complex types typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/function_complex_type.jk"
    exit_code: 0
  - name: "Field accesses typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/field_access.jk"
    exit_code: 0
  - name: "Return typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/return.jk"
    exit_code: 0
  - name: "Return in if_else block typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/return_in_if_else.jk"
    exit_code: 0

  # Invalid
  # FIXME: Do not ignore once #496 is fixed
  # - name: "Invalid Function typechecking"
  #   binary: "target/debug/jinko"
  #   args:
  #     - "tests/ft/type_checking/invalid/func.jk"
  #   exit_code: 1
  - name: "Invalid Variable typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/variables.jk"
    exit_code: 1
  - name: "Invalid IfElse typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/if_else.jk"
    exit_code: 1
  - name: "Invalid Block typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/block.jk"
    exit_code: 1
  - name: "Invalid BinaryOp typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/binary_op.jk"
    exit_code: 1
  - name: "Invalid Field accesses typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/field_access.jk"
    exit_code: 1
  - name: "Non matching return type in if_else block typechecking"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/return_in_if_else.jk"
    exit_code: 1
  - name: "Valid empty types"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/valid/empty_types.jk"
  - name: "Invalid empty types"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/empty_types.jk"
    exit_code: 1
  - name: "Invalid format string"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/fmt.jk"
    exit_code: 1
  - name: "Invalid types in test function"
    binary: "target/debug/jinko"
    args:
      - "tests/ft/type_checking/invalid/test_f.jk"
    exit_code: 1