Project eclair_demo
| Project name | eclair_demo |
|---|---|
| Top directory | /_work/prova/eclair_demo/eclair_demo/ |
| Timestamp | 2024-07-20 10:38:57.854 |
| Selection | |
| Variant |
| Kind | Count |
|---|---|
| parser | 1 |
| reporter | 2 |
| rule | 200 |
| 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 | 8 |
| error | 0 |
| information | 14 |
| violation | 21 |
software verification done right.