Project eclair_demo
| Project name | eclair_demo |
|---|---|
| Top directory | /_work/eclairit/eclair_demo/eclair_demo/ |
| Timestamp | 2024-07-18 19:52:11.548 |
| Selection | |
| Variant |
| Kind | Count |
|---|---|
| directive | 18 |
| parser | 1 |
| reporter | 2 |
| rule | 182 |
| tool | 3 |
| Kind | Count |
|---|---|
| CLEAN | 1 |
| UNIT | 3 |
| PROGRAM | 1 |
| PROJECT | 1 |
| COMMAND | 4 |
| END | 1 |
| Kind | Count |
|---|---|
| source | 35 |
| object | 4 |
| ecl | 4 |
| main | 3 |
| Kind | Count |
|---|---|
| caution | 10 |
| error | 0 |
| information | 13 |
| violation | 33 |
software verification done right.