Project eclair_demo
| Project name | eclair_demo |
|---|---|
| Top directory | /_work/eclairit/eclair_demo/eclair_demo/ |
| Timestamp | 2023-09-27 13:17:01.572 |
| 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 | 10 |
| error | 0 |
| information | 13 |
| violation | 22 |
software verification done right.