# Eyepl conformance report

This report summarizes the file-based conformance corpus under `test/conformance/`.

| Category | Positive | Errors | Warnings | Proofs | Total |
|---|---:|---:|---:|---:|---:|
| aggregation | 17 | 0 | 0 | 0 | 17 |
| arithmetic | 38 | 0 | 0 | 0 | 38 |
| atoms | 22 | 8 | 0 | 0 | 30 |
| automatic-tabling | 6 | 0 | 0 | 0 | 6 |
| builtins | 10 | 0 | 0 | 0 | 10 |
| context | 11 | 0 | 0 | 0 | 11 |
| control | 15 | 0 | 0 | 0 | 15 |
| iso | 120 | 159 | 0 | 0 | 279 |
| lists | 54 | 3 | 0 | 0 | 57 |
| negation | 8 | 0 | 19 | 0 | 27 |
| proofs | 0 | 0 | 0 | 21 | 21 |
| query | 8 | 2 | 0 | 0 | 10 |
| rules | 13 | 3 | 0 | 0 | 16 |
| strings | 40 | 0 | 0 | 0 | 40 |
| syntax | 12 | 25 | 0 | 0 | 37 |
| terms | 26 | 3 | 0 | 0 | 29 |
| unification | 18 | 0 | 0 | 0 | 18 |
| variables | 16 | 9 | 0 | 0 | 25 |
| **Total** | **434** | **212** | **19** | **21** | **686** |