| Symbol | Description | Uses |
| INCLUDE_ECCO_PACKAGE | 2 |
| File | Line number | Procedure | Code |
| ./pkg/ecco/ECCO_CPPOPTIONS.h | 98 | NO PROCEDURE |
#ifdef INCLUDE_ECCO_PACKAGE |
| ./verification/rotating_tank/code/CPP_OPTIONS.h | 144 | NO PROCEDURE |
#ifdef INCLUDE_ECCO_PACKAGE |