|
CGRA-ME
|
#include <MRRG.h>
Public Types | |
| enum | Type : char { Type::Info, Type::Warning, Type::Error } |
Public Attributes | |
| Type | type |
| std::string | message |
Analyses this MRRG to find violations of various invariants, such as:
options:
|
strong |
1.8.17