io7m | single-page | multi-page | Aradine User Manual
3.3. info
Previous
3. Command Line
Up
3.5. codegen
Next

# 3.4. check

- 3.4.1. Name
- 3.4.2. Description
- 3.4.3. Parameters
- 3.4.4. Examples

## 3.4.1. Name

1
check - Check an instrument file.

## 3.4.2. Description

1
The check command checks a given instrument file for validity.

## 3.4.3. Parameters

### 3.4.3.1. --file

Attribute | Value
--- | ---
Name | --file
Type | java.nio.file.Path
Default Value |
Cardinality | [1, 1]
Description | The instrument jar file.

### 3.4.3.2. --verbose

Attribute | Value
--- | ---
Name | --verbose
Type | com.io7m.quarrel.ext.logback.QLogLevel
Default Value | info
Cardinality | [1, 1]
Description | Set the logging level of the application.

## 3.4.4. Examples

### 3.4.4.1. Example

    $ aradine-cli instrument check --file sampler.jar
    {
      "Message" : "Instrument passed all checks.",
      "Level" : "INFO"
    }

3.3. info
Previous
3. Command Line
Up
3.5. codegen
Next
io7m | single-page | multi-page | Aradine User Manual