r2u2_cli 0.2.1

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

# C2PO Test Suite

## Usage

To run the full test suite, simply execute:

    python3 test.py

To run a specific set of tests, pass the set name into the `test.py` script:

    python3 test.py type_check

For a complete list of tests and test sets, see `config.json`

## Configuration

The configuration for tests is stored in `config.json`. This file is a JSON object whose members are
test sets. Each test set is a list of tests, with each test providing an input file, a set of
options passed to C2PO, and some sort of expected output.

```json
{
    "test_set_name": [
        {
            "input": "path/to/input.c2po",
            "options": ["list", "of", "c2po", "options"],
            "expected_output": "path/to/output.expect",
            "expected_serialization": "path/to/serialized.expect"
        }
    ]
}
```

The test script runs `c2po.py` over the input file and options, then compares the output of each
expected file against the generated output:
- `"expected_output"` compares stdout of the `c2po.py` call
- `"expected_serialization"` compares contents of `tmp.out`

The script assumes that `z3` and `egglog` are in `PATH`. To add these to `PATH` (assuming they are
installed in `compiler/deps`):

    export PATH=$PATH:/path/to/r2u2/compiler/deps/z3/bin
    export PATH=$PATH:/path/to/r2u2/compiler/deps/egglog/target/release