		Search-engine friendly clone of the ACL2 documentation.

Flat-warnings

Extract flat lists of warnings from various design elements.

These functions append together the warnings from, e.g., all modules in a module list, to create unified lists of warnings.

Note: if you want to summarize or print warnings, a vl-reportcard-p is typically more useful than a flat list of warnings.

Note: these functions don't clean the warnings in any way, and so you may end up with many redundant warnings. Because of this, it is probably a good idea to clean-warnings before flattening.

Subtopics

Vl-interfacelist-flat-warnings: Gather a flat list of all warnings from a vl-interfacelist-p.
Vl-programlist-flat-warnings: Gather a flat list of all warnings from a vl-programlist-p.
Vl-packagelist-flat-warnings: Gather a flat list of all warnings from a vl-packagelist-p.
Vl-modulelist-flat-warnings: Gather a flat list of all warnings from a vl-modulelist-p.
Vl-configlist-flat-warnings: Gather a flat list of all warnings from a vl-configlist-p.
Vl-classlist-flat-warnings: Gather a flat list of all warnings from a vl-classlist-p.
Vl-udplist-flat-warnings: Gather a flat list of all warnings from a vl-udplist-p.
Vl-design-flat-warnings: Gather a flat list of warnings from a vl-design-p.